Java FFI: imports included and dependencies downloaded via maven
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
Mangling of keyword "const"
Primitives for object method call + formating
Merge branch 'master' of http://githib.com/edwinb/Idris-dev
Merge pull request #240 from JanBessai/master

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