bigstring

Bigstring built on top of bigarrays, and convenient functions
Description

Bigstrings are useful for interfacing with C, low level IO, memory-mapping, etc.