Forcing github to recognize the renaming of a file.

The windows client is not case sensitive when pushing files. This is the
first of two commits.
Final rename commit