bson_string_append_printf(3) on Linux

The text 9cf296326c22, as Debian 9 (Stretch) shipped it.

Like bson_string_append() but formats a printf style string and then appends that to string.