php 5.3 added to travis