Admin/components/main

updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;

+
−#main components for repository clones or release bundles
+
−gnu-utils-20210414
+
−bash_process-1.2.4-2
+
−bib2xhtml-20190409
+
−csdp-6.1.1
+
−cvc4-1.8
+
−e-2.5-1
+
−flatlaf-1.2
+
−idea-icons-20210508
+
−isabelle_fonts-20210322
+
−jdk-15.0.2+7
+
−jedit_build-20210510-1
+
−jfreechart-1.5.1
+
−jortho-1.0-2
+
−kodkodi-1.5.6-1
+
−nunchaku-0.5
+
−opam-2.0.7
+
−polyml-5.8.2
+
−postgresql-42.2.18
+
−scala-2.13.6
+
−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