Migrate away from overload{}(_, _) in KORE

[Baltoli]

Currently, we emit an overload{}(X, Y) attribute on an \equals{X, Y} axiom to encode that Y is a more specific overload of X.

We want to use the overload name for a frontend attribute (#3985), and so will need to change the name of the KORE attribute to support this. Doing so will require a series of changes:

• Change the Java and Python implementations to emit two attributes with identical content (overload and symbol-overload, say). Add attribute symbol-overload #3989
• Change the Haskell and LLVM backends to read the new attributes if they exist.
  • Use new symbol-overload(_, _) attribute llvm-backend#984
  • K 3988 rename overload attribute haskell-backend#3723
• Update any checked-in KORE integration tests to fix up the attributes.
• Remove the old attribute