Fix Cart3f.h capitalization.
Add 'dotests' as target to do tests.