Wiki build instructions

TODO: write this page nicely

you need mkdocs (pip3 install mkdocs)
also you need mkdocs-material from pip3
to work on the documentation:
- execute ./run.sh to host a local version on localhost:8088
- when a file is changed, the website should refresh automatically
to deploy the website on the server (notes for self):
- execute ./deploy.sh
- this will:
  - build the site to the ./site directory
  - remove the old fpgc folder on the server
  - copy the site directory to the server, with fpgc as name
  - recursively set group to www-data
- just make sure you use public key authentication to the server