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
up timeout for cd2d, hoping to avoid jenkins failures
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 pull request #1199 from dwightguth/sorttable

remove ordinal for java backend sorts
add script to stop k server
add batch script to stop nailgun
fix path to batch script
fix batch script again
Merge pull request #1201 from dwightguth/stop

add script to stop k server
fix visibility and name of SORT_CACHE_TABLE
Merge pull request #1200 from dwightguth/memoryleak

close some memory leaks involving nailgun