Admin/components/main

updated to flatlaf-1.0-rc3;

+
−#main components for everyday use, without big impact on overall build time
+
−bash_process-1.2.3-1
+
−bib2xhtml-20190409
+
−csdp-6.1.1
+
−cvc4-1.8
+
−e-2.5-1
+
−flatlaf-1.0-rc3
+
−isabelle_fonts-20190717
+
−jdk-15.0.2+7
+
−jedit_build-20210201
+
−jfreechart-1.5.1
+
−jortho-1.0-2
+
−kodkodi-1.5.6
+
−nunchaku-0.5
+
−opam-2.0.7
+
−polyml-test-f86ae3dc1686
+
−postgresql-42.2.18
+
−scala-2.13.4-1
+
−smbc-0.4.1
+
−spass-3.8ds-2
+
−sqlite-jdbc-3.34.0
+
−ssh-java-20190323
+
−stack-2.5.1
+
−vampire-4.2.2
+
−verit-2020.10-rmx-1
+
−xz-java-1.8
+
−z3-4.4.0pre-3
+
−zipperposition-2.0-1