Github changes

Some small tweaks to accommodate the project having moved to github.