An installation script in Python.