Starting seed files for metamath public website. The website starts with these and then uses generation scripts to generate other files from the .mm files