Adding option for parseInModule since it takes so long for some definitions.
Renaming options and optimizing generated parsers.
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.