create JAR artifacts for consuming geoip files in Android apps
For Android apps, JAR files in Maven repositories are the standard way to use libraries. The geoip and geoip6 files are a kind of library of data. So this adds the -make-maven-artifacts option to src/config/mmdb-convert.py to generate the standard Maven artifacts of these datafiles that are directly consumable in a standard Android build setup, e.g. in build.gradle:
implementation 'org.torproject:geoip:20191217'These should be reproducible running them anywhere, since the timestamps come from the MaxMind file.