Tributes have been paid to Thomas, a much-loved 19-year-old cat who lived next to Portsmouth Cathedral