Redefined Python's built-in input function, to call shell.prompt.