Rewrite the bootstrap install script in Python.