New definitions for building Dracula require specs.
Redirecting requires through dracula-in.
Adjusting more require specs.
Replacing existing self-require modules.
Updated acl2 and modular-acl2 languages for new require specs.
Adapted to use new planet-or-package requires.
Updated modular acl2 for new module paths.
Adapted Dracula DrScheme plugin for new module paths.
Updated guide to new module paths.
Updated most module paths in scribble.
Updated documented module paths.
Updated module paths in tests.
small test fix
Removed obsolete module.
special case for "main" module path.
Removed several obsolete files.
Minor update to documentation.
Fixed planet require paths.