trac2github.php: remove debugging statements