doc/scripts/hxtool.py: Strip trailing ':' from DEFHEADING/ARCHHEADING