dump decode: Add a non-installed program for decoding binary batchbuffer dumps.