Support for using libffi to implement FFI calls in GHCi (#631)