update gitignore, to ignore a few more temporary files