A jquery plugin for truncating long lines of tabs into an "overflow menu"