Update to Rodin 3.4 sources

META-INF/MANIFEST.MF

build.gradle

src/org/eventb/core/ast/BecomesMemberOf.java

src/org/eventb/core/ast/BecomesSuchThat.java

src/org/eventb/core/ast/BinaryExpression.java

src/org/eventb/core/ast/BinaryPredicate.java

src/org/eventb/core/ast/BoolExpression.java

src/org/eventb/core/ast/ISpecialization.java

src/org/eventb/core/ast/QuantifiedExpression.java

src/org/eventb/core/ast/QuantifiedPredicate.java

src/org/eventb/core/ast/RelationalPredicate.java

src/org/eventb/core/ast/SimplePredicate.java

src/org/eventb/core/ast/UnaryExpression.java

src/org/eventb/core/ast/UnaryPredicate.java

src/org/eventb/internal/core/ast/FreshNameSolver.java

.../eventb/internal/core/ast/TypeTranslatabilityChecker.java

src/org/eventb/internal/core/ast/wd/Lemma.java

src/org/eventb/internal/core/parser/MainParsers.java