Travis CI: install libgecode-dev dependency

Oops misread error message. Let's try first the official ubuntu package,
otherwise we'll use http://apt.opscode.com, as recommended.