Added non-det options to the three stl programs in the stl-dbug.cfg
Added non-det options to the three stl programs in the stl-dbug.cfg

hemingcui/xtern_with_paxos,columbia/xtern,columbia/xtern,columbia/xtern,hemingcui/xtern_with_paxos,hemingcui/xtern_with_paxos,columbia/xtern,columbia/xtern,hemingcui/xtern_with_paxos,hemingcui/xtern_with_paxos,columbia/xtern