#3370 moved swiprolog installer to krLanguages