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