Web demo state preloading:

[billzorn]

• precision, if it's given in top-level properties of the core

• example inputs

Where should this happen? Is this a feature of the fpbench benchmark page, that is handled by the link generator? Or, is this a feature of the state loader on the webtool page? If the latter, what do we do if we receive state with overlapping information populated? Or should we parse some core properties on demand, and for example make a list box of examples specified in the core?