kore-repl: Abbreviate help command

[ttuegel]

The help command should give an overview of the available commands, but detailed documentation should be moved to the project wiki.

See also: https://runtimeverification.slack.com/archives/CBNGEMMUP/p1594057396017400?thread_ts=1594035649.016600&cid=CBNGEMMUP