fix bug in #parse code path
add test for #parse with custom parser
add test to ktest
fix test to not rely on unix
Cleaning up all the code that handled the C-sglr (sdf) parser.
Fixing copyright and removing ant references for the c binaries of the parser.
Merge pull request #427 from kframework/runparser

fix bug in #parse code path
Merge pull request #429 from kframework/c-parser-cleaning

Cleaning up all the code that handled the C-sglr (sdf) parser.
Merge branch 'master' into visitor-exceptions
fix yet another merge conflict