Windows: generate the .exe extension even if the executable name contains a dot.

Fixes #711. (Hopefully)
Add some files to .gitignore.