sci-mathematics/agda-lib-ffi

Context: #278

The agda-lib-ffi cabal package was not correctly installed. So I have separated it out into a different package and added a runtime dependency for agda-stdlib.