Added all obvious files from kaon.