IDE configuration in repository

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

mentioned in merge request !3 (merged)

closed with commit e9adea8a

mentioned in commit e9adea8a