add local opam file for pinning

Can pin with $ opam pin add pareto . for example
add missing oasis files

generated by the oasis 0.4