- Exclude 'thirdparty' folder from java-code-style.
 - Filter 'thirdparty' folder from root project.
 - Updated CIF dependency on JavaBDD.
 - Restore changes to Oomph setup now that JavaBDD can be found.
 - Restore including data-based synthesis tool in CIF feature.
 - Working sets update for third party.