update debian/install_packages.sh debian/install_php.sh: add mcrypt
update debian/install_php.sh: use php 5.5.3