Changes for moving to GitHub for source code and issue management.
Minor updates
Not used by Git
Bump the copyright year to 2013