Extracting automata descriptions from README.md

 -add scripts/extract-hoa to extract automata descriptions from README.md
- add target in Makefile
- annotate the automata in README.md
Result of extraction