Making Kile aware of new file extensions