Grid-filter generic setup profile

Adds a generic setup profile ``grid-filter`` which registers the necessary
resources (JS / CSS) for using the ExtJS grid filter plugin.