Merge pull request #36 from hansiglaser/master

Various changes merged
Updated ABC to rev fa4404b395f0
Fixed log messages in memory_dff
new option for "stat" to write to a file