added leaf to .gitignore (so that it is not included in this repo)