ExternalDispatcher: add handlers for external functions

[cinemamoon5]

A response to issue "S2E/s2e-env#346" I reported before "https://groups.google.com/forum/#!topic/s2e-dev/CccWw4cPQK4"

[claassistantio]

Thank you for your submission, we really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.

---

Moon seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}