Rename proglangs-lab1 to proglangs-lab1.html