Updates travis config and adds badge