dvk_ksm: DEC VT52-compatible video terminal