Fix: make positive leading coeff at normalizing!
Updated 'Singular/singular-libs' (for tested libs only) + The rest of updated tests due to master [mmm]!

fix: corrected some wrong library names in tests (TODO: update test results afterwards)

TODO/NOTE: some of LIB/*.lib are not installed and not yet tested in Tst/

NOTE: some more changes to Interpreter are needed for several further (incompatible with master) tests !!!
Updated LIBs according to master

add: new LIBs from master
fix: updated LIBs due to minpoly/(de)numerator changes
fix: -> $Id$
fix: Fixing wrong rebase of SW on master (LIBs)
Further incompatibilities with master!

chg: Update 14.Jan.2013 (Tests regeneration/update due to master...)

TODO: still missing commits from [master] (Interpreter...10912c588c406e6aab9dd2342c3d0c200096cb22 4b8a660ce83e9c109ec9eae1f413ab721fea2fd4)