advent-of-code/2015/lean/.gitignore