Skip to content

Improve documentation

Created by: ulrichsg

The documentation has grown too large for the repo front page. Split it into multiple files and put it on Github Pages.