being a little more careful about any lingering backslashes...
detecting when ids are imported from another module, and exposing them
as crossrefs.
Merge branch 'doc-workers' of github.com:brownplt/pyret-lang into doc-workers
more improvements
make docs-skel target -- dangerous; will be removed or sanitized soon
making names in annotations be Names instead of Strings, and then
resolving them during resolve-scope