Rename proglangs-lab1v2 to proglangs-lab1v2.html