Resolve "Configure deployment to Eclipse Foundation infrastructure"

Closes #7

See merge request !8

#6 Adhere to 'Feature Blurb' requirements.

See merge request !9

 - Deployment works.

 - Requires that we discover and build tags on Jenkins.

Merge remote-tracking branch 'origin/develop' into 7-configure-deployment-to-eclipse-foundation-infrastructure

Closes #3

* 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.

See merge request !7

 - Add index to website, linking to 5 separate webpages.
   - Not a very nice solution, but good enough for now?
 - Websites can be downloaded as archives.
   - But filenames have 'SNAPSHOT' in there. Not worth fixing I think.

 - Helps in development of Jenkinsfile.
 - Helps in debugging.

 - 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.

 - New third party directory.
 - Don't exclude CIF data-based synthesis tool and tests.

 - Approved as per CQ 22696.

 - Previously we used 2020-12 RC1.

#5 Add signing of JARS, Windows executables and macOS apps.

 - Enable signing profile on Jenkins, only for 'master' branch.
 - Undo auto-formatting of pom.xml license header.

See merge request !6