Changed ending condition

There is a better way to decide when to build the main file.
Dropped "Semtex" prefix from files

This seems somewhat silly (since all files in the SemTeX project
related to SemTeX) and just lengthens the file names.