This is {my | our} optimal .gitignore file for android for many IDEs.