py: Add execfile function (from Python 2); enable in stmhal port.

Adds just 60 bytes to stmhal binary.  Addresses issue #362.