remove old AMIGO_TROUBLE mechanism; bump
external term highlighting in linker; actually solves issue #9 in bbop-js
added search events for embedded spinner; fixed some ugliness in the spinner styles
added search events for embedded spinner; fixed some ugliness in the spinner styles