Remove unused php 5.3 travis config