Resolve "Use third party dependencies from Orbit"
Closes #3 (closed)
- Update Eclipse Orbit version to R20201130205003 (2020-12).
- Previously we used 2020-12 RC1.
- Added JavaBDD 1.0.1 third party dependency.
- Approved as per CQ 22696.
- Re-enable CIF data-based synthesis and tests.
- Restored changes to Oomph setup now that JavaBDD can be found.