devpi-server-2.0.7: various bug fixes