Add page size of 1000 to preferences

During PTG discussions, we decided during part of the 'too many
comments per story' conversation, that some people might like to
have page sizes larger than 100. This patch adds a preference for
a page size of 1000.

Story: 2003525
Task: 26576

Change-Id: If89fef70ee466d7aeb7c282bc3ac0c9d58345f88

src/app/profile/template/preferences.html

@@ -147,7 +147,12 @@
                     <input type="radio" name="pageSize"
                            id="pageSize100" value="100"
                            ng-model="preferences.page_size">
-                    <label for="pageSize100">100</label>
+                    <label for="pageSize100">100</label> &nbsp;
+                    &nbsp;
+                    <input type="radio" name="pageSize"
+                           id="pageSize1000" value="1000"
+                           ng-model="preferences.page_size">
+                    <label for="pageSize1000">1000</label>
                 </div>
             </div>
         </div>

src/app/services/template/result_set_pager.html

@@ -39,7 +39,7 @@
     </div>
     <ul class="dropdown-menu dropdown-menu-right" role="menu">
         <li class="dropdown-header"># of results</li>
-        <li ng-repeat="size in [10,25,50,100]"
+        <li ng-repeat="size in [10,25,50,100,1000]"
             ng-class="{'active': size == limit}">
             <a ng-click="pageSize({'type':listType, 'pageSize':size})">{{size}}</a>
         </li>