Bump devpi-server version to latest bugfix release