Pass --ignore-removal to git-add, in preparation for a future change to its default behavior. Requires git 1.8.3. Closes: #711287
releasing version 1.20130614