Re #6504. Adding __str__ method to InstrumentInfo and FacilityInfo.