FFI Dependencies in Java: Automatic inclusion and resolution + download via maven

See [javaffi](https://github.com/JanBessai/Idris-dev/blob/0861527e14a8e9c26bcf1cf5ea884a93f66025e0/samples/javaffi.idr) for an example how to use it.