IKVMC platform option added

I added the ikvmc -platform option.
Additionally, I added the possibility to explicitly set the option "library" to the -target option.