create JavaCC parser for new KAST
fix copyright
add kast front end for new syntax
fix copyright
fix test failures arising from new kast syntax
add javadoc
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