Sets colaboratory.py to use build/externs for static files

Changes colaboratory.py so that it uses files from build/externs for serving static files.  This is necessary because we need to download certain files in the build system, and so we can't simply refer to part of the repo for static files.
Fix README.md