include/ => src/
update .gitignore
add a standard Idris Makefile