Remove spurious "correct" CT files and add actual correct ones
Fix some algorithm issues in BBpolytope and add lots of documentation