Catching empty input in AskUser-function

- If the user does not enter anything (on Linux), we keep pestering
  him/her for a choice.
- More pretty output