Minor alterations to setup.py/etc to allow PyPI distribution.