IDE configuration lacks a dump command

It would be extremely helpful in porting projects (and in using makefiles) to have the IDE either dump the configuration source:key=value information. Either with a commandline option, or as part of the /tmp file building of an ino/project.

The https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5-3rd-party-Hardware-specification page simply does not explain enough and the dump should be a trivial matter.

Start by tracing Arduino IDE command-line handling and the /tmp file-building path for an ino/project. Determine how configuration source:key=value information is assembled, then define a dump path usable for project porting and makefiles. Done means the IDE can emit the requested configuration information through a command-line option or during temporary project-file generation.

Written by the indexing model from the issue text.