Add string_to_enum specialization

We can convert from strings to SolverTypes and back now.
Use enum_to_string when printing SolverTypes