Hard-code user directory if not available.
Added AUCTeX customizations.
Updated .gitignore.