Added get_string function for VInts

- Added function to return string of VInts
- Exposed function via .mli interface
- Added str as dependency to _oasis
- Updated oasis generated files
merge frenetic-lang-vint_string