frontend: Use short-form names for shell argument

[includes !1091 (merged) to avoid a conflict between them]

Instead of passing --shell=foo-shell.so, just pass --shell=foo, whilst accepting the old form for compatibility.

Whilst we're at it, document the --shell argument in the manpage and README.

Basically !1069 (merged) but for shells.