Scrolling preferences from http://emacs-fu.blogspot.fr/2009/12/scrolling.html
Adding IDO mode
Adding electric pairs
Activate compilation-shell-minor-mode to jump to files from ESHELL
Adding Delete-selection-mode
Coq load-path for FoCaLiZe