Move documentation to https://readthedocs.org/
Using the work started in !540 we should be able to automatically generate documentation in the CI and push it on https://readthedocs.org/. Furthermore, we should move the documentation currently in the wiki to that place, with a similar layout.