[python] Is there a portable way to get the current username in Python?