Move stuff in the place needed for the new github-based structure.
Bump to 1.3 to celebrate move to github.