Migrate docs to github.io or RTD or ...

[notroj]

Currently the docs are the only thing still hosted on webdav.org, these need to be moved to either github.io or somewhere else (readthedocs.io? difficult to convert from docbook to markdown)