Merge branch 'master' of gitlab.tubit.tu-berlin.de:mattjsbb/appfs
2nd parameter is now optional, time for printing is not measured any longer
documentation
fixes
wat

Merge remote-tracking branch 'upstream/master'
removed binaries
Merge branch 'hendrik.s/appfs-master' into master-gitlab
delete binary
Merge branch 'yupinov/appfs-master' into master-gitlab