Reformat CMD of hhvm-fastcgi
debian container: Up-to-date and some minor utilities added
php5-cli: Base image for PHP5-tools
phpdoc