adding SuccinctTrie.js