A robot's training can refer to a backside

Was broken since it used the old widget_side conventioin.
Improved drop highlighting of covered nests

And improved the protocol for customising the highlighting.
Fixed a bug computing a widget's border

If the widget (box or number) was hidden so its dimensions were zero it
went into a loop.