TravisCI config

Signed-off-by: Jean-Denis Vauguet <jd@vauguet.fr>