Added alternative shortcut for mac osx users

Using F5 is really painful for people using Fn keys as osx default behaviour.