add predicates to coq-lib to convert elpi strings and lists to coq strings and lists.

add predicates to coq-lib to convert elpi strings and lists to coq strings and lists. #631