broken due to dune site linking error

[katrinafyi]

The dune-site plugin used to install .asl files (UQ-PAC/aslp#38) requires a runtime dynamic link to locate the installation directory.

For whatever reason, this seems to be broken when using BAP's plugin build system. There are possibly-similar issues in BAP's repository relating to linking against Z3.

To fix this, we can either move away from dune-site (and use an embedded files solution) or upgrade BAP to unstable (and hope the new Dune plugin system will work correctly).

[katrinafyi]

fixed by UQ-PAC/aslp#90 which uses embedded files instead of site-installed files.