Add sympy as submodule to gain faster factoring performance