unbuffer output of calibrate script
declare start of synthesis in log
make execution controller into a real object; bring in resynthesis support (to be pared down)
fix some typos in execute and make sure it terminates correctly
remove ukr-specific resynthesis code