Android: Install php with the Travis script.