Docs available at https://USERNAME.github.io/REPOSITORY/
- pytest
- coverage
- Howto for register Travis (Marketplace not necessary, ... etc.)
- Howto for gh-pages? (GitHub config)
- Howto block PRs until checks passed
- Improve integration of optional PDF compilation