WebSearch: amends print_record for merged records

• Amends print_record() and print_records() for deleted-but-merged records. Previously, when a record was deleted-but-merged, XM and HM output formats were printing different things, once referring to merged record and one staying in the deleted record.
  
  This patch amends the situation in order to always stay in the deleted record that the users of print_record() asked for. The end users using web interface should not be affected, since they were redirected from /record/R1 to /record/R2 already by the web interface layer. (addresses #514)