Add Parser.isTrace() (fixes #701)
Merge pull request #717 from sharwell/fix-701

Add Parser.isTrace()