A bootstrap dropdown with a filter built in. Inspired by the GitHub dropdown.