added back .gitignore, now also covering binaries in subdirectories