re-add .gitignore which got lost on last commit.