Add experimental support to push to GitHub pages for documentation.