Project structure rejiggering
Merge pull request #41 from klee-web/fat_refactor

Project structure rejiggering