update elephant

[lgiessmann]

update elephant to version 1.0

[lgiessmann]

• installed elephant 1.0 (unstable) --> darcs get ​http://www.common-lisp.net/project/elephant/darcs/elephant-1.0 --> there are some errors, so the following statement has to be entered directly in the shell "gcc -L/usr/local/BerkeleyDB.4.5/lib/ -I/usr/local/BerkeleyDB.4.5/include/ -shared -march=x86-64 -fPIC -Wall -g -O2 -g /home/lukas/.sbcl/site/elephant-1.0/src/db-bdb/libberkeley-db.c -o /var/cache/common-lisp-controller/1000/sbcl/local/home/lukas/.sbcl/site/elephant-1.0/src/db-bdb/libberkeley-db.so -lm" --> load elephant "(asdf:install 'asdf:operate 'elephant) --> again, there come up some errors, so just recompile elephant --> at this point elephant should work

[lgiessmann]

• installed elephant 1.0.a2 with the same problems as mentioned in the second comment
• created the remove-association patch for the installed version and sent it to the elephant-list; the patch was applied and is integrated in the latest unstable version