increase timeout to 20s - Travis' MacOS machines appear to be slower
increase timeout to 20s - Travis' MacOS machines appear to be slower

sdalton1/legion,chuckatkins/legion,sdalton1/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion,chuckatkins/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion,chuckatkins/legion,chuckatkins/legion,chuckatkins/legion,chuckatkins/legion,chuckatkins/legion,sdalton1/legion