readLine

Also written: readLine()

A function that waits for the user to type a line and gives back a `String?`, which is `nil` when the input has run out.