Formalize deployment process

Introduce a simple Make script to deploy to GitHub pages.