Text this: Performance of three diagnostic tests for tuberculosis among Human Immunodeficiency Virus (HIV) patients presenting to a health facility in an informal urban settlement in Nairobi, Kenya