removed files generated by antlr
added "generate" target
fixed packages
spec language: fixed exceptions handling in axioms
ignore generated stuff