Instructions for making solvers importable in README.md.
Merge pull request #40 from ketch/readme

Instructions for making solvers importable in README.md.
Merge remote-tracking branch 'upstream/master' into rjl

* upstream/master:
  Instructions for making solvers importable in README.md.