Rename Kravspec08.tex to prestandakrav.tex