download_kotlin scripts rewritten: do nothing if compatible Kotlin plugin already exists, reuse Kotlin plugin from work IDEA copy when updating from sources