adding kile 2.1.3 to the repo