In the example client, show the log in real-time and on success too. Otherwise, you can't see that the service is doing anything and if there are no solutions then you don't see why.
Don't crash the example client if there is no solution.
Update the default opam-repository commit so that the example in the README works.
Fixes #66.