Improve CommonToken cloning performance, and update documentation