Adding a new git user.

We're using gitolite.

git clone git@git.dfri.se:gitolite-admin
cat PUBLIC_SSH_KEY_FILE > gitolite-admin/keydir/USER.pub
git add gitolite-admin/keydir/$USER.pub
git commit -m "Add user $USER."