Added extra phase for outer parser.
Add phase name for inner parser
Merge pull request #330 from kframework/parser-phases

Parser phases