idris-0.99.1: test/interactive011/.gitignore

interactive011