Add the semanticdb directory to .gitignore
Add ob-sql Org Babel support
Make the flycheck-error face darker
Add the SQL package
Remove agda input method
Don't use Lucida Grande for ERC windows
Misc. init.el changes
When archiving Org items, save their olpath