Request bookmarklet only handles trac ticket numbers

[ymilki]

In pushmanager/templates/create_request_bookmarklet.js, bug numbers from reviewboard are parsed as:

 var ticketNumberToURL = function(bug) {
        return 'https://' + Settings['trac']['servername'] + '/ticket/' + bug.match(/\d+/)[0];
    };

This should either be more general to handle multiple types of issue ids or point to a separate service that can redirect to the correct place. Internally, we have separate redirect service.

[michalczapko]

This is already fixed: d7706df