Fix .tex target
Remove TODO
Don't use unicode eta in LaTeX
Remove unicode pretty printing hacks
Add single report.pdf generation
Add better heading to Postponement
Improve the formatting of the generated docs
Move Standardization to the end

All the build-up with parallel betas and etas is not used in there,
so it makes more sense to go for Postponement at first.
Add title page and missing reference to Takahashi