Tacinterp: remove the is_value check in Ltac's let-in.

It fixes micromega. It is frankly a mystery to me why psatz ever work. The semantics of Ltac's match is still fishy.