Travis: run on php 5.6