custom domain file, as per http://stackoverflow.com/questions/9082499/custom-domain-for-github-project-pages