Add formula for vttest

Vttest tests the compatibility (demonstrates the non-compatibility) of so-called "VT100-compatible" terminals.
Additional tests (past version 1.7) are provided for analysis of vt220, vt420 terminals, as well as variants of xterm.