Updates: devpi-server 2.0.7; devpi-web 2.1.1