Update pharo-launcher build scripts
Facilitate migration from older packages