moving the script to rebuild the repository out of the Mercury shell, and into a standalone script (which we hide from the normal distribution)