Changed simplify's behavior

By introducing simplify as new function and renaming the old simplify
function into simplifyOnce we can avoid infinite recursion; simplifyOnce
calls the specific function for a term (e.g. simplifySum) which
transforms it by one step. simplify calls simplifyOnce as long as
simplifyOnce delivers a term different from the one before
(like `until simplifiedTerm == term; simplify (simplifyOnce term)`)

This commit introduces some new rules as well.
Beta: Factor out common factors in products

Simplify now transforms a term like
    b * a * c + b * c * d
to
    b * c * (a + d)

It's not fully functional yet.
Replaced (==) by elem

well, that's awkward...
Moved fromMb to Symmath.Util
Miscellaneous changes

- Fixed bug: x * (y * y) was transformed to the non-resolvable product
(x * y) * y without checking if (y * y) could have been simplified.
- New rule: x * x^2 => x^3
- Variables go before other terms when sorting products
Fixed wrong clause order in simplifyFrac
Unnecessary clause removed; some cosmetics
Added unit test for simplify

From the next release on, the testing "infrastructure" consisting of the
makefile and the template in TestSimplify.hs can/should be used to cover
all Symmath functions. Who wants to be Testing Engineer?
Fixed infinite recursion in some scenarios
Better clause structur in simplifySum. Fixed regression
Better product reducer.

Simplify had difficulties with terms like (a * c) * a * (b * c * d). Those
difficulties are solved now by a new algorithm which linearizes products
(similar like we do when we factor out); It transforms the term above to list of
factors [a,c,a,b,c,d], sorts them [a,a,b,c,c,d], groups the result
[[a,a],[b],[c,c],[d]] and then applies a function which transforms such lists of
same elements to powers [a^2,b,c^2,d]. Finally, listToProd converts this list
back to a product.
Putting the new reducer in another cleanup function.

This allows us to remove 9 other explicit rules.
Now Simplify should be able to handle negative exponents

One problem which still exists is that (t + (-t)) isn't simplified.
Some more tests for Simplify
Similar sum simplification as for products
Simplification of sums improved.

e.g.

ghci> simplify $ x + z + 2*y + x + 3 * z
(2.0 * x + (2.0 * y + 4.0 * z))

(This version does not factor out numbers anymore)
Some improvements with abs()
Merge branches 'master', 'pu/funtable' and 'pu/simplify' into next