kore-proof-trace should print the rules from domains.md, as well

[dlucanu]

Now, the command

kore-proof-trace --expand-terms --verbose  header hints <k-def>-kompiled/definition.kore

prints only the rules from the <k-def>. To manually analyze the proof hints, it would be helpful to it display the rules from domains.md, as well.