Made the generated file templates' naming more consistent.

The general convention is \<output file name\> + ".in".