coq-list-string package added