Infers

A parser for dealing with Hanoi Omega-Automata (HOA) file format, which is described in more detail here. At the moment, we can only parse HOA files, support for writing them will be added later.