update 'devpi-server'