update manual

- updated documentation for checkpointing
- fixed latex formatting
- update parameters.tex and manual.pdf