Migrating a hg repo (ELEPHANT example)

* copy directory to ELEPHANT.old.hg for backup
* cd ELEPHANT
* source ../../bin27/bin/activate
* git init
* git config core.ignoreCase false
* ../../tools/hg-fast-export/hg-fast-export.sh -r . -A ../../tools/authors-fast-export.txt
    * noting that authors doesn't appear to actually work correctly :P
* git checkout -f HEAD
* fix any wrong authors
    *   git log --all --format='%aN <%cE>' | sort -u
        * verifies current authors
    *   sh ../../tools//fix_author.sh
        * fixes current authors (may need editing for specific authors)
    * verify again
* make a new repo on github
* git remote add origin https://github.com/andythenorth/ELEPHANT.git
* git push -u origin master
* touch .gitignore
* edit .gitignore and commit
* remove .hg* files
* fix anything in the build that depends on hg