Add an encoding parameter to parse_file

[jordr]

We may need to process files written on/output by compilers on a system with a different locale.getencoding(), which is the default of open().

This patch exposes the encoding optional parameter of open to the parse_file API.