simple pure-python tool to parse mmdb files and convert them to the old format Tor uses