gitignore: added a few more build-generated files