Update to Proteus that supports in-hashdist builds

* Also switch Proteus to setuptools