.gitignore: add ignore rules for a few dev tools