refactor GCD and other

src/main/scala/leon/synthesis/Algebra.scala

src/main/scala/leon/synthesis/ArithmeticNormalization.scala

src/main/scala/leon/synthesis/LinearEquations.scala

...main/scala/leon/synthesis/rules/IntegerInequalities.scala

src/test/scala/leon/test/synthesis/AlgebraSuite.scala