Instructions for making solvers importable in README.md.