[sledge] Translate `invoke abort` to `abort`
[sledge] Translate `invoke abort` to `abort`

Summary:
Sometimes calls to the `abort` C stdlib function appear as `invoke`
instructions in LLVM. They should be translated to the LLAIR abort
instruction just like the non-raising `call abort` case.

Reviewed By: kren1

Differential Revision: D15706574

fbshipit-source-id: 1509ed0e3

facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer