Deploy documentation with MkDocs and GitLab Pages
This PR closes #6 (closed) and makes a first attempt at addressing #5 (closed) (which may have some nuances as our codebase is hosted on git.ligo.org and may not offer GitLab Pages).
Edited by Daniel Tang