console.js: enter_line now accepts the line as an argument instead of reading
it from the text box. catch_input reads it from the text box and passes it as
an argument. This allows other services to call enter_line with their own
python code.
tutorial.js: The "Run" button no longer submits Ajax to the tutorial system.
Instead, it calls console's enter_line, with the code, hoping that the console
will execute this code.
(At the moment this doesn't work for multiple lines).