Change Gemfile for Ruby 2.0.0 (again) and finish section 4.1