Package, org and coq configuration
Configuration : elpa, coq et org
Merge branch 'master' of http://github.com/rafoo/my-emacs-config

Conflicts:
	.emacs