Intellij config: JDK setup: add missing interpolation marker in dev-tools/idea/.idea/misc.xml; dont print out follow-on instructions if ${idea.jdk} is defined; and when follow-on instructions are printed, show how to avoid the need to manually configure the JDK