Disable Aldor support for now

Author: gvanuxem

Diff for: debian/rules

@@ -11,7 +11,7 @@ override_dh_auto_configure:
 	dh_auto_configure -- --prefix=/usr --enable-gmp --enable-julia --enable-hunchentoot --enable-mathlink
 
 build:
-	./configure --prefix=/usr --enable-gmp --enable-aldor --enable-julia --enable-hunchentoot --enable-mathlink
+	./configure --prefix=/usr --enable-gmp --enable-julia --enable-hunchentoot --enable-mathlink
 	$(MAKE) -j4 all htmldoc
 	$(MAKE) -j4 check