Fix to travis config, install appropriate symfony/symfony package