0.5

• added bitvector support
• added support for declare-datatype

0.4

• remove dep on result
• compat with more modern menhir
• move to github actions