- added cppcheck target to makefile
- scan-build make OPT=dbg works
- Corrected the spacing of the NAME field in MPS output.
- Fixed bug in library call regarding setting
  the random seed by arguments.
- Fixed two bugs in the examples of the documentation
  found by Maximilian Ernestus