Fixed matching parenthesis in enable function
Moved ProBParserBase from LtlParser to StringRepresentationGenerator
Added build.xml