Added Clover.output_to_s(). Fixed a bug with Clover.length().