parser
Specification language ported to ANTLR
Refactoring: SpecificationParser renamed to SpecificationLanguage
some changes
Merge branch 'master' of github.com:iljas/CoCoViLa into iljas-master

Conflicts:
	src/ee/ioc/cs/vsle/synthesize/ClassRelation.java
	src/ee/ioc/cs/vsle/synthesize/SpecParser.java
Merge branch 'iljas-master' into antlrSpecParser
removed files generated by antlr
added "generate" target
fixed packages
spec language: fixed exceptions handling in axioms
ignore generated stuff
fixed parsing axioms with no inputs
simplified factory storage
Added possibility to switch between two spec parser implementations