Mostly basic documentation. Fixes #4.
- Remove generated documentation leaving only documentation sources. - Add CI job checking that the tutorial is up to date.