Update and rename introduction.md to introduction.html