Updated minimongo repository location

minimongo has moved to a new location and the tools page needed to be updated.
https://jira.mongodb.org/browse/PYTHON-797