[Pharo-project] Updating a Plugin on Jenkins