remove VerbosityL (unused)
extracted runCompiler from clafer.hs to Language/Clafer to make it reusable