Rename lecture_4.html to lecture_4.md