Removed org.kframework.utils.errorsystem.Kmessages.
Clean up org.kframework.main.Main.
Cleanups on some of the front ends.