x2sys_merge(1gmt) on Linux

The text b97580f8d37d, as Debian 9 (Stretch) shipped it.

Merge an updated COEs table (smaller) into the main table (bigger)

x2sys_merge(1gmt) on Linux now