remove explicit mention of .emacs.d
Remove old init-ocaml
migrate some mail and gnus settings
activate orgtbl-mode in markdown mode
Add empty custom file
authinfo.gpg is the only auth source now
Add message-send-mail-function to required customizations
Add some gnus mbsync funcitonality
Fixes for running mbsync in gnus
Don't use proof general's multi-file compilation

coq_makefile is far better
some proof-general settings
Add a message when fetching mail
org file assocs
Merge remote-tracking branch 'upstream/master'

Conflicts:
	init-dired-standalone.el
Use dired-fm-spawn to open org-links
gnus: invoke mbsync on some mailbox changes (via hooks)
gnus: more mbsync calls in hooks
Enable server start when EMACS_SERVER_NAME is set in the environment; also add some synctex code
my-synctex: Add forward sync
org: Fix default apps