printf: Silence warning
stdio: Use circular buffer for outbuf

This allows us to do partial sends which makes things a bit more robust
against buffer overruns.
stdio: Add vsnprintf
Merge pull request #86 from bgamari/circular-stdio

Circular stdio buffer