Update 01-intro.tex

Translated up to section 1.8: What is a program?