Add: Lecture 1
Fix formatting regression
Add format regression check tool