Support mercury in 'ctags' as well

The previous lack of support was due to incorrect calls to 'make_tag'
in 'mercury_pr', which caused 'pfnote' to refrain from adding Mercury
tags to the list of recorded tags.

* lib-src/etags.c (mercury_pr): Pass the correct NAME and NAMELEN
arguments to 'make_tag'.

* test/manual/etags/CTAGS.good: Adjust to the above change.
8 jobs for master in 98 minutes and 46 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Prep Images
passed #21584
prep-image-base

00:00:36

 
  Build Images
passed #21585
build-image-inotify

00:48:25

 
  Platform Images
passed #21586
build-image-filenotify-gio

01:14:35

passed #21587
build-image-gnustep

01:34:28

 
  Platforms
failed #21588
test-filenotify-gio

00:17:08

passed #21589
test-gnustep

00:03:39

 
  Native Comp Images
failed #21590
build-native-bootstrap-speed0

00:00:15

 
  Slow
skipped #21591
test-all-inotify
 
Name Stage Failure
failed
test-filenotify-gio Platforms
  SKIPPED  file-notify-test10-sufficient-resources
SKIPPED file-notify-test10-sufficient-resources-remote

make: Leaving directory '/checkout/test'
Running after script...
$ test -n "$(docker ps -aq -f name=${test_name})" && docker cp ${test_name}:checkout/test ${test_name}
$ test -n "$(docker ps -aq -f name=${test_name})" && docker rm ${test_name}
test-filenotify-gio-af4cccb8
ERROR: Job failed: exit code 2
failed
build-native-bootstrap-speed0 Native Comp Images There has been a runner system failure, please try again
$ git config --global http.proxy $HTTP_PROXY; git config --global https.proxy $HTTPS_PROXY
Fetching changes with git depth set to 50...
Reinitialized existing Git repository in /builds/emacs/emacs/.git/
From https://emba.gnu.org/emacs/emacs
* [new ref] af4cccb8d98516ae96a3ebdc9a9eb7d7d8d5c1c5 -> refs/pipelines/11046
Checking out af4cccb8 as master...

Skipping Git submodules setup
ERROR: Job failed (system failure): Error response from daemon: Conflict. The container name "/runner-2oEDrUT7-project-1-concurrent-3-build-4" is already in use by container "2fd6009bffdf866a8953b2d29eb4525d54954a49b699e714fb49c7f5568216a8". You have to remove (or rename) that container to be able to reuse that name. (executor_docker.go:726:0s)