K version bump feature list (5.6.0)

[radumereuta]

Updated up to:

• Features:
  • replace 'functional' attribute with 'function, total' #3016
  • Update simple-untyped to work with the modern backends. #2841
  • Pass through C build type option to llvm-kompile #3090
  • LSP for K #3070
  • Fix copyright check #3118
  • [K MD Parser] Extend TagSelector to Support Line Numbers in Code Blocks #3176
  • Add flag to enable LLVM backend debugging #3207
  • Update kool to use llvm backend and fix warnings #3199
  • Update FUN and LOGIK #3243
  • Update documentation for new LLDB support #3229
• Bug fixes:
  • Add location info for KToken #3012
  • Add error message for missing start symbol #2847
  • LHS of #Exists binds variables #3029
  • Automatically import BOOL when strictness is applied #3036
  • Fix sort decl not being correctly calculated #3042
  • Reimplement check for [anywhere] rules on the haskell backend #3051
  • Err when declaring generated cells #3052
  • Forbid [anywhere, symbolic] #3053
  • Update dup modules error message for md files #3065
  • Fix issue with special characters in path #3183

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