Add support for ABCL.

Also:
* Fix documentation in QE-Taxi example
* Force progress output in ALISP:EVALUATE
* Fix some formatting errors in the code