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