Cleaned OASIS files, .gitignore, updated OASIS.
Added an OPAM file.
Updated copyrights.