Update Proteus
Update to Proteus that supports in-hashdist builds

* Also switch Proteus to setuptools
Merge pull request #587 from hashdist/ahmadia/update_proteus

simpler and updated proteus package