[Pharo-dev] Create a user for jenkins