Simplify reading input from stdin.

We make use of the fact that `readInt` is already automatically imported,
according to `scala.Predef`'s documentation.