Updated repo for mip-mode.

My username has changed.
Merge pull request #2053 from gaudecker/patch-1

Updated repo for mip-mode.