Add missing entries to .gitignore
they vanished with commit 47289479d2472bf692d1b864d685edcd7c3fdf85