added tagging and removed memoization
removed unneccessary occurs check when applying rules
added ability to be simplified by multiple transformations
 added solve-by-strategie to dispatch for different strategies depending on the enclosing expressions of the unknown
solving square roots
added ability to solve equation containing square roots
added ability to solve equation containing abs
added ratio test polynomial factorization
improvements to the solver
Merge branch 'tagging' into develop

Conflicts:
	src/main/clojure/numeric/expresso/solve.clj
	src/test/clojure/numeric/expresso/test_core.clj
fixed some tests
added tests to the solver; fixed bug in parser
removed unneccesary code; version bump to core.matrix 1.10.0
cleaned up the code; corrected shape-inference while transforming expression