add Debian developer documentation packages
git: remove accidentally added alias add = assume-unchanged…
git: add aliases gr, rbi, rbc