Clean up some files, but .cabal file still needs to be fixed. Assigned an issue to Sebastian.