update gitignore, to be able to add missing files in source control