Supporting more include-book options.
Using ACL2 reader for #lang dracula.
Tying ACL2 to "#lang dracula" rather than "#reader".