bootstrap-chosen plugin: A modification for easy combining with customized Bootstrap-based themes.