Support xdot format 1.7

All it adds is the OVERLINE bit for t. We don't currently support t at
all, so we can claim support for 1.7 just much as 1.6.