Update .gitignore files for files generated for new basic parser.
Switched to using new fast Basic parser by default.
Merge branch 'master' of github.com:kframework/k