First shell port: mksh

First port to another shell than 'bash'. 'mksh' was choosen because it
has more quirks (look for "Ctrl-A" in the man page) and less features
than 'zsh'.
Debug mode: show the shell name in PS1