Add user_input(), a fancier raw_input().