Rename lab3_v1 to lab3_v1.html