Remove the extra start non-terminal from the parser.
Merge pull request #387 from kframework/remove-start-nonterminal

Remove the extra start non-terminal from the parser.