Update CI config for Travis and Jenkins