Rename main file

In an effort to promote consistency I’m going to push everyone to a new
main file.