Per Python docs, favor open() over file() except for typechecking

See note in https://docs.python.org/2/library/functions.html#file