Simple push to restart travis

Signed-off-by: David Saradini <david.saradini@me.com>