removed HOLCF for now as explicit component

--- a/etc/components	Sat Nov 27 17:44:36 2010 -0800
+++ b/etc/components	Sun Nov 28 12:11:41 2010 +0100
@@ -7,7 +7,6 @@
 src/CTT
 src/Cube
 src/FOLP
-src/HOLCF
 src/LCF
 src/Sequents
 #misc components