math/why3: Unbreak after ocaml-findlib change
Use the same technique madpilot used on x11-toolkits/ocaml-lablgtk2
to restore the build after the (unexpected) changed to the output
of ocamlfindlib during its update to 1.7.1
While here, document previously unknown ocamlfind requirement.