Add a missing development dependency for Travis CI