Updated lab4.html

Updated to reflect the new URL for the GitHub repository.