Move some classes into separate files. Fix incorrect casing#959

keyboardDrummer wants to merge 8 commits into

boogie-org:masterboogie-org/boogie:masterfrom

keyboardDrummer:refactoring2keyboardDrummer/boogie:refactoring2Copy head branch name to clipboard