Request: basic file I/O support for Python

[alex-chew]

This was cut out of scope from https://github.com/dafny-lang/libraries/pull/60 because of complications with importing the necessary helper code from translated Python code.