Print History.
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Demo-Examples
  Bugfix in Cokernel
Easy history printing.
New PrintHistory.
Enhanced examples