New mutex scheme: independent mutex for each trie.
Merge branch 'master' of github.com:/gui11aume/starcode

Merging new mutex scheme with updated insert_string function.