Changed build-release.st to correctly find the "proxy.config" file in linux
Merge branch 'master' of http://RichoM@github.com/GIRA/Physical-Etoys.git