Delete clos_trans_dec.v

Found a lib (http://color.inria.fr/) that proves decidability of transitive closure of a decidable relation if it is restricted to a finite set.