[emacs] Update proof-site to v4.4-226-g7389d438, tweak defer delays
-rw-r--r-- 160 .gitignore
-rw-r--r-- 8472 .gitmodules
-rw-r--r-- 132 .mailmap
-rw-r--r-- 35149 COPYING
lrwxrwxrwx 7 LICENSE -> COPYING
-rw-r--r-- 315 Makefile
-rw-r--r-- 1017 README.org
drwxr-xr-x - etc
-rw-r--r-- 65100 init.org
drwxr-xr-x - lib
drwxr-xr-x - lisp
-rw-r--r-- 174278 rc.org
drwxr-xr-x - var