Mor1kx v5.1
It's about time to create a new release. This includes:
- License updated to CERN OHL-W V2
- FPU support for unordered comparison operations
- Support for sign extension instructions
- Added formal verification
- Support for configurable branch predictor algorithms (SIMPLE, GSHARE)
- Fixed issues