Portable (Python) version of "realpath"