Small update to Travis-CI configuration

Signed-off-by: Michael Steinert <mike.steinert@gmail.com>