Add --lines support to pull_quarters.py. Doesn't work, overflows the GitHub api limit...