kframework/k — pull request #1198 by radumereuta (2014-11-20 20:45:45+00:00)
Title: Adding option for parseInModule since it takes so long for some definitions.

@dwightguth please review.
I also found the 'loud' option which is not being used anymore, so I removed it.