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.