Copied Refined ACL2 research code.
Renamed dracula collection to refined-acl2.
Copied source of Dracula.
Renamed .ss files to .rkt.
Redirecting planet requires to collection requires.
Moving planet references to collection references in Racket files.
Changed planet references to collection references in Scribble files.
Removed a lot more planet references.
Removed dependency on planet.
Fix some bugs with module paths.
Corrected more module paths.
Rely on local definition of require/provide rather than mischief, for now.
Set up .gitignore.
Set up as single-collection package.
Fixed some remaining bad module paths.