add .options to build.properties so it's in the binary output (JBIDE-13664)