Make DataExplorer header abbreviation configurable.

Makes the length of the header of the DataExplorer configurable.

This is needed for ASE.
Includes a way to make data explorer settings directly available to the javascript, bypassing the route via the ftl template.