Improve the speed of EVERY_CASE_TAC

It was adding a bunch of datatype theorems each time through the loop,
which was expensive on developments that contain large datatypes.  Now
it builds them into a simpset at the start.