more pythonic input while-loop for raw_input