devel/opengrok: update to 1.7.42, with tomcat101

www/tomcat10 is deprecated, so switch to www/tomcat101. This changes
the /api requests, which requires opengrok 1.7.40. Upgrade to the
latest 1.7.x version of opengrok, which is currently 1.7.42.

PR: 269991