Define the default value of must_exclude_cards
Add a form to configure must_exclude_cards
Fix not to adjust_title for dialogs
Disable #header for dialogs
Generalize #configure overlay style for dialogs
Make must_exclude_cards items lazily
Separate refresh_must_exclude_cards_menu
Refresh must_exclude_cards menu also on showing
Forcibly refresh the menu for reset
Put checked items to the top
Do not force refreshing the menu for reset

Now the order of <option> is changed according to the current value of
H.options.must_exclude_cards.  jQuery Mobile automatically rebuilds the
menu.  So that no need to forcibly refresh the menu.
Update jQuery Mobile version used in spec
Define H.group_by
Group items in the menu by expansions
Show full card names in the summary button
Customize divider theme for ease of use
Add tests on must_exclude_cards
Refactor - Use Array.filter
Turn off dropping imperfect cards for speed

Imperfect cards exists only in preview period.
Support supply generation with must_exclude_cards