Add a script to convert ml char-arrays to strings
Add a script to convert ml char-arrays to strings

This Perl script is absolutely horrific, but was quite fun to write. The
comments explaining how it works are considerably longer than the
implementation(!)

jscert/jsexplain,jscert/jsexplain,jscert/jsexplain,jscert/jsexplain,jscert/jsexplain