Python-Projektleiter Guido van Rossum tritt zurück