WebSearch: space between records in MARC HTML

* Sets a local margin ("1em 0px") for the HTML pre element when displaying
  records using the "hm" (MARC HTML) output format, so that records are
  split by a small space.

Signed-off-by: Nikolaos Kasioumis <nikolaos.kasioumis@cern.ch>
Reviewed-by: Tibor Simko <tibor.simko@cern.ch>
global: language value always in link URLs

* Always sets the ln value when creating the URLs to keep the
  user language setting consistent when following those URLs.
  Fixes some URLs in websearch_templates.py and webdoc.py.

Signed-off-by: Nikolaos Kasioumis <nikolaos.kasioumis@cern.ch>
Reviewed-by: Tibor Simko <tibor.simko@cern.ch>
WebSearch: correct record sums from hosted colls

* The number of records in a collections (nbrecs) is now correctly calculated
  including records coming from descendant hosted collections.  (closes #1651)

Reported-by: Theodoropoulos Theodoros <theod@lib.auth.gr>
Signed-off-by: Nikolaos Kasioumis <nikolaos.kasioumis@cern.ch>
Reviewed-by: Tibor Simko <tibor.simko@cern.ch>
WebSubmit: fix for typo in Shared_Functions

Reviewed-by: Tibor Simko <tibor.simko@cern.ch>
installation: empty Travis configuration

Signed-off-by: Tibor Simko <tibor.simko@cern.ch>
Merge branch 'maint-0.99' into maint-1.0

* maint-0.99:
  installation: empty Travis configuration
Merge branch 'maint-1.0' into maint-1.1

* maint-1.0:
  installation: empty Travis configuration
  WebSubmit: fix for typo in Shared_Functions
  WebSearch: correct record sums from hosted colls
  global: language value always in link URLs
  WebSearch: space between records in MARC HTML

Conflicts:
	modules/websearch/lib/websearch_webcoll.py

Signed-off-by: Tibor Simko <tibor.simko@cern.ch>