Updated the README file
Commented out the incompleted part of proof in breduce.thm
Minor fixes in preparation for the release

- Removed old OMakefiles
- Drop warning flags if non-UNIX system
- Moved more logic into the ocamlbuild plugin
- Create abella or abella.exe in the current directory
- Minor reversion of post 3.11 syntax
- Updated README