Update travis to only add coverage on php 5.4 (save some travis time)