K version bump feature list (5.3.0)

[radumereuta]

Updated up to: 735971b

• Features:
  • add filename to yyerror #2349
  • Add options to modify llvm-kompile's parameters in the Kompile frontend #2340
  • make the "inner cast" be a synonym for a strict cast #2352
  • Add --pattern support to the llvm backend via haskell backend tool #2370
  • Support Bytes literals #2389
  • Add simplification rules to spec.kore #2345
  • add intro README to section 2 of K tutorial #2409
  • Add flag --emit-json-spec to kprovex #2428
  • Kill the ocaml backend #2417
  • rename kframework/k -> runtimeverification/k #2416
• Bug fixes:
  • Check for existential variables in requires clause #2336
  • Fix decodeKoreString #2346
  • Fix decodeKoreString again #2363
  • Parsing empty string bug #2348
  • Improve checks for format attribute #2358
  • Revert "imports FOO.bar with fixed OOM" #2375
  • try to address issues with redirecting stdout to file #2404
  • Fix --version for new branch structure #2407
  • Fix for --version when .git is missing #2454
  • Fix -v flag for K utils #2457
  • fix priority of #let relative to user syntax #2419
  • Allow macros on hooked sorts #2489
• Dependencies:
  • Bump Z3 -> 4.8.11 #2307
  • Require java 11 #2385
• Performance improvements:
  • Include named anonymous variables in typeInf optimizations #2366
  • use cached scanner during kprovex #2421
  • Fix bug in scanner cache PR when running kprove #2408
• pyk:
  • Update pyk testing harness #2438
  • Allow specifying lemmas in pyks KProve.proveClaim #2434
  • Organize pyk utils #2442
  • Upstream Summarizer utils #2443
  • Refactor pyk AST functions into classes #2448
  • Fix pyk for downstream compatibility with kevm #2468
  • Apply some small fixes to pyk packaging #2475

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).

[radumereuta]

Update the list of features that we already did and what we plan to include.