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".
Merge pull request #1726 from fdlk/master

Make DataExplorer header abbreviation configurable.