error reporting: fix resource warning for unclosed file (in Py3.2+), cache source lines when we read them more than once