[dedukti.el] Refactoring + hilight definitions without type annotation +
move compilation regexp for dedukti.
Safe "add-to-list"
Merge branch 'master' of http://github.com/rafoo/my-emacs-config

Conflicts:
	.emacs.d/elisp/org-conf.el