Emacs: Recognize python3 as Python and use python-mode