Use PHP versions supported by travis