add user.el to .gitignore