K version bump feature list (5.5.0)

[radumereuta]

Updated up to: 536d704

• Features:

  • Kompile should check for faulty simplification rules #2899
  • Documentation Overhaul #2929
  • add log hook to K-IO module #2919
  • Add M1 mac to CI #2924
  • Improve error handling in k-util.sh #2936
  • add orDefault lemmas #2946
  • Print intermediate timing information about backend steps #2902
  • kup improvements #2957
  • pass --bound flag to llvm backend interpreter #2846
  • Fix quoting in IDs #2968
  • Add --local option to kup #2996
  • Anywhere is not supported by the haskell backend #2998

• Bug fixes:

  • Fix stale versions with mvn package #2980
  • Add -v to packaged version string #2989
  • Relax module duplication check #2972

To Check:

• File ./package/version has been bumped to NEW_MAJOR.NEW_MINOR.0, and ./package/version.sh sub has been invoked.
• CHANGELOG.md has been updated with new features.
• K active projects page is up-to-date (receiving commits in the last 3 months).
• Audit of warnings in regression test-suite and tutorial (inspect CI output for unintentional warnings).
• Audit package dependencies in package/ (look at various package/dependency lists in package/ subdirectory and think whether any of them is now not needed).