docs/sphinx/hxtool.py: Remove STEXI/ETEXI support