icfp15/.gitignore