[plt-scheme] Dracula: leaner and faster in time for Halloween

[Carl Eastlund]

Version 2.1 of Dracula, the ACL2 language and theorem prover interface
for DrScheme, is now available via Planet.  Dracula 2.x supports the
same language as 1.x, but due to some internal reimplementation should
run faster than previous versions.

There may be new bugs in version 2.1.  If you find any, please report
them; if you need a reliable version of Dracula, consider sticking
with version 1.8 until the updates have time to stabilize.  Skip
version 2.0, it won't work on released versions of DrScheme.

For more on Dracula, see: http://www.ccs.neu.edu/home/cce/acl2/
For more on ACL2, see: http://www.cs.utexas.edu/users/moore/acl2/

-- 
Carl Eastlund