Use git mv force to pick up case change

MSP-11385

On OSX, git will ignore the case change, but then the case change won't
be propagated to github and travis-ci, where the case change does
matter.