Ensure dired-details+
Add org-directory to customizations
Fixes for agda and auctex
Add local ottmode
ignore auth-source-gpg-encrypt-to
migrate some customizations
Ignore some more vars by default
Migrate some coq settings
add org notes file
Fix flyspell in text-mode
Add bbdb
Merge pull request #3 from luminousfennell/master

Fixes from work