leapfrog: add .gitignore