[gecode] Bumped to 3.7.3 (Sync with HEC gecode version)
[nginx] CHEF-4227: Bump to 1.4.2 (fixes CVE-2013-2070)

Although CHEF-4227 requested a bump to Nginx 1.4.1, Nginx 1.4.2 is the
latest stable. This patch updates OSC to use 1.4.2
Merge branch 'hh/OC-9691/osc-fixes'