Rename lec4.md to lec3_evaluation_strategies_and_termination.md