Robert Willis — Scottish physician, librarian, and medical historian