Support traversing the editor navigation history through mouse buttons

[martin-fleck-at]

What it does

• Adds support for traversing the editor navigation history through mouse buttons 4 and 5, similar to the VS Code History Service.
• Fixes Support traversing the editor navigation history through mouse buttons #11158

How to test

• Open application in browser or electron. If you use the browser you can open your application through a link so you don't have any history to begin with, otherwise the window history navigation will navigate you away from your Theia app. This is also the behavior in the GitHub web editor.
• Navigate within a file or between files.
• Click your mouse button 4 and 5 to navigate between your previous navigations.

Review checklist

• As an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

• As a reviewer, I agree to behave in accordance with the review guidelines

[colin-grant-work]

I don't have a mouse that would let me test this as it's meant to function, but some minor comments below.

[msujew]

Looks good to me. Although I'm having a bit of trouble getting this to work in the browser (as my browsers try to leave the back when back-navigating), it works perfectly in Electron.

• Back-navigation works correctly using button 3
• Front-navigation works correctly using button 4
• Other mouse buttons continue to work as expected