Fixes to file renaming
There were a couple of issues when files were renamed (including when filetypes were changed). If a file was opened twice, then the path stored in the File class became invalidated if the underlying file was renamed on one of the file handles.
There was also a Python 3 string/bytes bug that prevented RISC OS renaming files.