Add badges and force a Travis run