update debian/install_php.sh: use php 5.5.10
update debian/install_php.sh: add --with-mysqli