Initial import of Binfuzz.js for public release