Added a menu item and a keyboard shortcut for reloading the repository