fix gecode for chefdk on ubuntu 14.04

fix_gecode.sh

#!/bin/bash

URL=http://ubuntu.cs.utah.edu/ubuntu/pool/universe/g/gecode
PACKAGES=(libboost1.54-dev_1.54.0-2ubuntu3_amd64.deb libgecode-dev_3.7.3-1_amd64.deb libgecodegist32_3.7.3-1_amd64.deb libgecodeflatzinc32_3.7.3-1_amd64.deb libgecode32_3.7.3-1_amd64.deb)

sudo apt-get -yq remove libgecode-dev
gem uninstall --force dep-selector-libgecode

for PKG in ${PACKAGES[@]}
do
  echo $PKG
  wget -O /tmp/$PKG $URL/$PKG
  dpkg -i /tmp/$PKG
  rm /tmp/$PKG
done
export USE_SYSTEM_GECODE=1
gem install dep-selector-libgecode