Mariadb_to_mongo.py: convert a MySQL/MariaDB table to a MongoDB collection

mariadb_to_mongodb.py may be useful for folks.