Added asynchronous call statement.
* Encoded as `__SMACK_async_call(name,arg1,..)` in C/LLVM.
* Translated to `call {:async} name(arg1,..)` in Boogie.