v0.3: Add pandoc to the tools.

So we can use it from the spec repo and perhaps other repos where we want
to process documentation (markdown, latex, etc).