Introduce --line-numbers to show line numbers even if stdin doesn't look like a tty