Use master badge for Travis (#514)