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 145 minutes and 44 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Prep Images
passed #21576
prep-image-base

00:01:06

 
  Build Images
passed #21577
build-image-inotify

00:33:59

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

01:29:38

failed #21579
build-image-gnustep

00:00:48

 
  Platforms
failed #21580
test-filenotify-gio

00:18:55

skipped #21581
test-gnustep
 
  Native Comp Images
passed #21582
build-native-bootstrap-speed0

02:24:31

 
  Slow
skipped #21583
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-image-gnustep Platform Images There has been a runner system failure, please try again
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/11045
b3dd0ce..af4cccb master -> origin/master
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)