Only build static binaries

For the first release, at least, providing bytecode looks too difficult.
Also, changed the interface URI, since we're no longer committing to
provide a Python API. And, since we're breaking the API anyway, changed
the "run" command from 0launch to 0install.