FIX: New a2x (since 8.6.7) options in doxyToX.py