vimrc: some php niceness, zsh: use python as an alias to python3