Added warning in case Idris is compiled without libffi support
Merge pull request #574 from david-christiansen/ffiwarn

Added warning in case Idris is compiled without libffi support