New symbolic solver for Symbolics.jl!

Looks like a really great addition to Symbolics!