Not all tools are built for macOS in CI using autotools

The following tools are not yet built for macOS in CI using autotools:

• diffimg
• dotty
• gvedit
• lefty
• lneato
• mingle
• smyrna
• vimdot

The reason is that the necessary prerequisites are not yet installed on the GitLab macOS shared runner.