Update and rename problems.txt to problems.html