Adds php53 to the CI travis config