Ignore assumption directive for simplifier

Something like
```
   simp[IgnAsm ‘pat’, th1]
```
should apply the simplifier, while ignoring the assumption(s) matching `pat`.  

Also

```
    simp[NoAsms,...]
```
should ignore all assumptions.