Bye OASIS.
Hello topkg.
Bye camlp4 (huge refactoring).
updated CHANGES, added opam file, cosmetics.