Big Engine Change! tokenizer faster and w/ public API. folding engine is rewritten to be sane