Bugfixes, new commands for 'mmgen-tool'
Version 0.7.5