Add option to set path to source directory

Close #108 (closed)

I named it --library after the why3 flag I'm using for the same purpose, but feel free to bikeshed.

I use this to launch why3find prove on generated code in a location that's not the root of my project, and which is not intended to be installed as a package.