Introduced file extensions

So github hopefully will use proper syntax highlighting.