Added name and dev fields in the OPAM file for local pinning.

Uselful to do "opam pin add ." in the source directory.