Some cleanup on documentation

* Moved manual stuff into own folder (for now?)
* Added cleaned up version of patmos_tr as PDF to doc
* Added some comments on structure in manual.tex