Move codefiles to KIF