fix #938

I copied second part of error message from `--backend` documentation.

It looks like this:

```
➜  k git:(master) ✗ kompile --backend wrong.
[Error] Critical: Invalid backend: wrong It should be one of
[pdf|latex|html|maude|java|unparse|symbolic]
```