Plugin Tag: admin menu filter:

Admin Menu Filter adds a search box to the WordPress admin interface that allows you to quickly filter and find menu items.