Use pager in read_tty.py by default, like git-diff.

[heiner]

Surprisingly tricky to get the proper git-diff behaviour, but also kinda fun: https://github.com/git/git/blob/master/pager.c