Rename atseret-prog to atseret-prog.cpp