Implement execfile() (1-arg version)

Also required adding some string functions so that
we could use os.path.