simplified build/bootstrap of Isabelle/Scala components -- avoid make;

more robust cancelation, notably of passive futures without scheduler running;

eliminated cache, which complicates the code without making a real difference (NB: deque_towards often disrupts caching, and daisy-chaining of workers already reduces queue overhead);