IDE configuration in repository

Please remove .idea/ (and use an IDE that can behave itself).