manual updates: extract all .prms

We now auto-generate the annotated .prm.out files from the .prm files when you
make manual.pdf. All prm snippets in the manual now live in external
files. This patch also contains updates to the benchmark section explaining
how to compile the shared libs for the benchmarks.

This is a combination of 9 commits:
extract more prms from manual
manual: add section explaining benchmark compilation
add missing .prm
change to more safe escaping in .prm for manual
final batch of prms extracted from the manual
rename sol_cx.prm and improve manual
rename sol_kz prm
remove all .out and generate them on demand instead
update .gitignore