updated introduction and short description, added a bit to problems
updated transrules and issues
merge resolve
added antlr to libs
fix