Fix for issue #77 and maybe other keep-original-names related bugs.
Merge branch 'fix-issue-77' of https://github.com/quentin/soot into develop
removed debug outputs
made variable naming deterministic
added soot-specific components for HEROS