installation: fix for jQuery hotkeys add-on URL

* Uses stable version of jQuery hotkeys plugin from
  invenio-software.org.  (closes #1507)

Reported-by: Theodoropoulos Theodoros <theod@lib.auth.gr>
Co-authored-by: Javier Martin Montull <javier.martin.montull@cern.ch>
Tested-by: Tibor Simko <tibor.simko@cern.ch>
BibFormat: skip hidden icons in OpenGraph image tag

* No need to list icons marked as "HIDDEN", as they are anyway
  not displayed.

Reviewed-by: Tibor Simko <tibor.simko@cern.ch>
Merge branch 'maint-1.1'

* maint-1.1:
  BibFormat: skip hidden icons in OpenGraph image tag
  installation: fix for jQuery hotkeys add-on URL