Add Idris-related .gitignore entries from https://raw.githubusercontent.com/idris-lang/Idris-dev/master/.gitignore

Signed-off-by: Daira Hopwood <daira@jacaranda.org>