add a gitignore
lemmas