Add pharo4 to jenkins script

Additionally, the script will raise an error if the specified pharo
version is unknown.