(read_minibuf): Get the string from the minibuffer