update manual

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