Make MolgenisSettings searchable on prefix.
Make data explorer settings available as JSON.
Retrieve dataexplorer settings and provide them to dataexplorer js.
Make header abbreviation length configurable.

Uses data explorer setting "header.abbreviate".