update inf_heavy
Merge branch 'development' of github.com:kewgen/aow into development