added criterion related gitignore entries