Sympy solver initial commit

sympy_solver.py and use it in PrimeFactorizationEquationGenerator.py.
Also add some examples at the top for quick access.