Manual updates

(work in progress)

- extract .prms
- add section explaining benchmark compilation