can parse the set operator option
dolog is not yet in the mainstream OPAM repository
finished, it looks like it is working
corrected the parsing of options and added the writing to output file