More fixes to ConsoleInputOutput

Added fixes to ConsoleInputOutput to avoid issues with the "\n"
character. (It now always reads lines.) Also added another abstract
method to InputOut for getting ints, getInt(). (Also implemented in
ConsoleInputOutput.)