Add support for a simple "miniperf" format, decoded with pure Python.