Search filter bar for merge requests dashboard list

Follow up of https://gitlab.com/gitlab-org/gitlab-ce/issues/52385 for the merge request dashboard