Rename DesktopFile to DesktopEntry

This is the terminology used in gnome-menu source code.