cleanup spice_format_length()
bug fix, need va_copy() when reusing a va_list
introduce tvprintf()
drop asprintf()
cleanup, use tprintf()