databases/mongodb42-tools: Update to 4.2.13
PR: 254401 Submitted by: Ronald Klop <ronald-lists AT klop DOT ws> (maintainer)