fix bug in #parse code path
add test for #parse with custom parser
add test to ktest
fix test to not rely on unix
Merge pull request #427 from kframework/runparser

fix bug in #parse code path