adding role for devpi, mirror play

Sets up a pypy mirror caching server