Addition of an optional top pager that can be independently controlled from bottom pager. New pager style.

We have designed a new pager style that uses a dropdown select list to go directly to the page of choice, in addition to the «Prev and Next» links. Additionally, we have added a new "top_pager" variable that is independent from bottom pager and is rendered before the paged view content. I am curious if you would be interested in reviewing the attached patch and possibly including this new pager code in the official release of Views module. Since we're not modifying the original 'pager' variable and the top pager is disabled by default, all paging developed to date will continue to work as before once the module is updated with this code.