Don't complain if there are constructors with the same name as type constructors
Allow for files in subdirectories

    hipspec Challenges/Integer

will accept Challenges/Integer.hs with module name Challenges.Integer.
Tidy up the repository. Moves examples from testsuite to example/