Add default bade numbers to prevent layout change

Author: GuillaumeGomez

Diff for: util/gh-pages/index_template.html

@@ -76,7 +76,7 @@ <h1>Clippy Lints</h1> {# #}
                         </div> {# #}
                         <div class="btn-group" id="lint-groups" tabindex="-1"> {# #}
                             <button type="button" class="btn btn-default dropdown-toggle"> {# #}
-                                Lint groups <span class="badge"></span> <span class="caret"></span> {# #}
+                                Lint groups <span class="badge">0</span> <span class="caret"></span> {# #}
                             </button> {# #}
                             <ul class="dropdown-menu" id="lint-groups-selector"> {# #}
                                 <li class="checkbox"> {# #}
@@ -107,7 +107,7 @@ <h1>Clippy Lints</h1> {# #}
                         <div class="btn-group", id="lint-applicabilities" tabindex="-1"> {# #}
                             <button type="button" class="btn btn-default dropdown-toggle"> {# #}
                                 Applicability {#+ #}
-                                <span class="badge"></span> {#+ #}
+                                <span class="badge">0</span> {#+ #}
                                 <span class="caret"></span> {# #}
                             </button> {# #}
                             <ul class="dropdown-menu" id="lint-applicabilities-selector"> {# #}