Output fully qualified pathname as a last resort

• If the annot file cannot be found, just output the fully qualified pathname (#8 from Cedric Cellier).
• Add opam file for local pinning workflow.