#3636: add Intellij IDEA project files