Update to the new coq-list-string library