Fix and activate functional tests on Travis

- Edit the .travis.yml so that functional tests run as well as unit
  tests
- Fix the functional tests so that they work on the Travis CI
  environment (Ubuntu)