build/mongodl.py: Port the build system to Mint (#1115)
build/mongodl.py: Port the build system to Mint (#1115)

In Linux Mint in /etc/os-release there is ID=linuxmint instead of
'mint' present in DISTRO_ID_MAP. Add a mapping to handle it.

Add 'linuxmint' mapping in DISTRO_VERSION_MAP corresponding to
official Mint docs: https://linuxmint.com/download_all.php

Signed-off-by: Michał Grzelak <fcb7cf1bbaa0f4add37c710d046418bdf0bfb43e@semihalf.com>

Signed-off-by: Michał Grzelak <fcb7cf1bbaa0f4add37c710d046418bdf0bfb43e@semihalf.com>
mongodb/mongo-c-driver,rcsanchez97/mongo-c-driver,mongodb/mongo-c-driver,jmikola/mongo-c-driver,rcsanchez97/mongo-c-driver,mongodb/mongo-c-driver,rcsanchez97/mongo-c-driver,jmikola/mongo-c-driver,jmikola/mongo-c-driver,jmikola/mongo-c-driver,rcsanchez97/mongo-c-driver,rcsanchez97/mongo-c-driver,jmikola/mongo-c-driver,mongodb/mongo-c-driver,jmikola/mongo-c-driver,mongodb/mongo-c-driver,rcsanchez97/mongo-c-driver,mongodb/mongo-c-driver,mongodb/mongo-c-driver,jmikola/mongo-c-driver,rcsanchez97/mongo-c-driver