There is no need for it. Just rename the file. Git will detect renames regardless of whether git mv was used or not.
Try it: rename it in the normal way, stage the file under both the old and the new name (or just do git add .) and then run git status in the console, it should show up as rename and not as creation and deletion, so history is always preserved.