0.8.0

Major refactorings were done for 0.8.0, which should be a better basis for future work.

In the process, one feature was removed: the ability to read user-customizable css files (maybe we can add something like that in the future again, but will have to work with pandoc's document-css, which we'd need to parse properly).