associo `check-parens' a tasto F8

Tolgo inoltre `check-parens' da `after-save-hook'.  Per quanto potesse essere
comodo, spesso era più di fastidio che d'aiuto (soprattutto perché in realtà era
associato a tutte le major mode, non solo alla elisp).
eseguo codice relativo ad ac-math solo se auto-complete è stato caricato