Random tidying

The usual thing when working with projects that require a build step is not to include the result of the build in the repository, and to have a .gitignore file to tell git that those files aren't source files and shouldn't be tracked.