Rename some filenames for consistency and map them in edition.config.inc.php

I forgot you had a way of mapping major names onto file names and started doing it manually.  Now I don't have to.