Updated suggested emacs indendation configuration

The currently suggested indentation configuration for does not give the wanted indentations for newer version of proof-general.

For instance ∧ is no longer used, as it would indent statements as follows in newer versions of proof-general:

  P *
    Q

We now rather use ->, which indents them in the same way across versions:

  P *
  Q

EDIT: Typo