I am trying to convert a String returned from Julia. How do you get a string from a jl_value_t to a char * in C?