An implementation of the deferred acceptance algorithm as covered in Intro to Econ, written in OCaml and in order to make the homework bearable