Separating the new parser code for programs from SDF and returning the grammar object in order to avoid having a static state.
Merge pull request #1102 from kframework/staticStateInPrograms

Separating the new parser code for programs from SDF and returning the