Makes team:update_jenkins ssh user configurable.