A new version of tools

• New hotfix mode for git-mgw
• New apply last commit mode for git-mgw
• Safer mgw which pays attention to your stashes
• GitHub sync script for automated mirrors of Ensembl code