Treating Buruli Ulcer: A Review of Prospects for Existing Antibiotics and New Therapeutics