Rename tracetodot to tracetodot.py