ProgrammaticConstraintsWithAnimation lets students practice manually creating constraints using NSLayoutConstraints, as well as use animating views.