camlp4.4.02.0: properly install and uninstall.

See also https://github.com/ocaml/camlp4/issues/30.
mascot: patch for 4.01
Merge pull request #2029 from hhugo/mascot4.01

mascot: patch for 4.01
Merge pull request #2023 from whitequark/master

camlp4.4.02.0: pass BINDIR/LIBDIR to configure
odepack 0.6.5
odepack 0.6.5: add depext for Ubuntu