Added deployment tools for Github Pages.