Rename Lab1.html to proglangs-lab1