[michael] modified gitignore to ignore .idea/*