fix instructions for checking out 2014SE3 repo