console.py: clean the command-line on first ctrl-c but exit on second

darcs-hash:20081107091635-b2873-e26f9d813be6949b818b17268e62fff468ac2bb0