make: Add target 'pull'

Target pull is the inverse of install. It pull installed files from
$HOME into the git directory so that changes can be committed.
git/config: Set fetch.prune = true
git/config: Set format.coverLetter = auto
bashrc: Add alias open=xdg-open on Linux