[FIX] Do not permit user to launch script in tools directory in a shell
script by deleting 'execution' permission
[FIX] fixes #228 - Create a script that permits to migrate from an old
domain to a new one