Add plugins search box on the top navigation bar

Introduce a top search box to be able to filter the list of plugins.

Specifying a search keyword helps a lot on focusing on what the
administrator is looking for, without having to go through an
alphabetical long list.

Change-Id: I5af06c87c7d1232368bd52ff7ecc000924835824