packaged APRON

The package will not compile on Mac.
But that's quite fine since at least Linux users will
be able to install the APRON library automatically via OPAM
from now on.