updated python mode to gallina's python.el