etc/components

misc cleanup and internal reorganization;

+
−#main object logics
+
−src/Pure
+
−src/FOL
+
−src/HOL
+
−src/ZF
+
−src/CCL
+
−src/CTT
+
−src/Cube
+
−src/FOLP
+
−src/HOLCF
+
−src/LCF
+
−src/Sequents
+
−#misc components
+
−src/HOL/Tools/ATP_Manager
+
−src/HOL/Tools/Mirabelle
+
−src/HOL/Library/Sum_Of_Squares