Fix lecture name

01-intro is a better name than 1-intro, because lexicographically it
comes after 11-something.