python3-devpi-common: Utilities jointly used by devpi-server, devpi-client and others