Idris FFTW bindings and test program