databases/mongodb42: Update to 4.2.13

Changes: https://docs.mongodb.com/manual/release-notes/4.2/#minor-releases

PR: 254400
Submitted by: Ronald Klop <ronald-lists AT klop DOT ws> (maintainer)