Adding files for the GitHub project pages (gh-pages branch).