William Pickering, publisher: a memoir and a check-list of his publications