- Update to the next version (v15.x Phosphorus) which builds against
both current and newish versions of OCaml
- Disable E-ACSL plugin for now which fails to build bundled jemalloc
- Drop useless DIST_SUBDIR, the distfile name is unique enough
devel/frama-c: Update to the last release (Silicon-20161101).
Reviewed by: feld, mat
Approved by: feld, mat (mentors)
Differential Revision: https://reviews.freebsd.org/D9790