Additional python customizations for emacs.  Works with Gallina's excellent python-mode.