Compute idris interpreter arguments from .ipkg

This causes Idris to be invoked with the command line arguments from the .ipkg file.