Removed lingering references to "mre_4fingers", now "mre_hotdog"

It is called mre_hotdog everywhere now, though the "Four Fingers"
story is still mentioned in the description of the hotdog course
inside.