Ignoring CoqIDE tmp files