Add db_vprintf

[andrew]

Summary

We may have a printf-like function that would like to print while in
ddb. In this case we have a va_list so add a vprintf-like function to
allow for this without having to print to a temporary buffer that is
passed to db_printf.