Update and rename Lab2 to Lab2.krl