Update travis configuration

Signed-off-by: Daniele Ricci <daniele.athome@gmail.com>