Thanks to Matthias Ivers for lots of good bug fixes and new scheduler
code.

Thanks to Matt Benjamin for a new and improved tgi tokeniser.
 
