4.2.0 (2017-08-03)

• Switched to jbuilder and topkg

• Added backup functionality

  Thanks to Markus W. Weissmann markus.weissmann@in.tum.de for this contribution!