A parser for InnoDB file formats, in Ruby