[michael] Put .iml files extension into the gitignore file
[michael] Merge