Added HOA format

[laurentbartholdi]

This registers a new file format, "Hanoi Omega Automata" (https://adl.github.io/hoaf/) and its support in the package "Buchi" (https://github.com/laurentbartholdi/Buchi.jl)

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 91.40%. Comparing base (a1c4c8f) to head (0c0c853).
Report is 3 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #409   +/-   ##
=======================================
  Coverage   91.40%   91.40%           
=======================================
  Files          11       11           
  Lines         710      710           
=======================================
  Hits          649      649           
  Misses         61       61           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[laurentbartholdi]

@ViralBShah hi! I submitted this PR last week, I don't know how/when it gets assigned, but last time you were kind enough to merge my PR. Can you please give a look to this one too? Many thanks!