The mongodb-*-tools packages were split into mongodb-database-tools and
mongodb-*-tools-extra, which causes some package management headaches
during upgrades to v4.4. This change updates the package control files
to account for the package splits so upgrades go more smoothly.