Support new mongosh

The mongodb interpreter calls into the old mongo shell, the upcoming mongosh is not supported: https://docs.mongodb.com/mongodb-shell/. Requires some minor, non-breaking adaptation.