Add a new datalog file format