Adding option for parseInModule since it takes so long for some definitions.
Renaming options and optimizing generated parsers.
up timeout for cd2d, hoping to avoid jenkins failures
Somehow I forgot to rename the field.
Require that the regression newparser tests still generate the program new parser tables.
Merge pull request #1198 from kframework/parseOption

Adding option for parseInModule since it takes so long for some definitions.
Merge pull request #1192 from dwightguth/kastparser

create JavaCC parser for new KAST
remove ordinal for java backend sorts
close some memory leaks involving nailgun
Merge branch 'memoryleak' into both