git: add some missing files to git ignore