[Python-ideas] maxsplit in os.path.split