Fixed compiler warning

Pattern overlap in Symmath.Terms
Switched to Data.Map as VarBind type.
Removed Assoc module, not necessary anymore.
Merge branch 'pu/faster-varbind'
Added Numeric Integrator module

It's very slow so far.
Changed TermToTex's default config's name to avoid confusion
Merge branch 'pu/numint'