Download and initialize Ivy in initialization phase

If the `init-ivy` target isn't called, the user will have to install Ivy manually before compilation.