implement writing function body for hardware thread in partitioning
update private submodule to get fix
Merge branch 'master' of github.com:BBBSnowball/mehari
update private submodule to get script changes
renaming in partitioning pass