Add shared settings for IntelliJ IDEA

Including new 'ideaSettingsJar' gradle task; see comments in
.idea/.gitignore and .idea/exported_settings/README.md for details