Change source file extensions

Looks better on github this way