databases/mongodb42{-tools}: Update to 4.2.11

ChangeLog: https://docs.mongodb.com/manual/release-notes/4.2/#nov-18-2020

PR: 251380
Submitted by: ronald-lists@klop.ws (maintainer)