by jthorson: removing duplicate php5-cli in provision.sh
[#2308103] by bzrudi71, jthorson: Rename docker images and containers
[#2309035] by bzrudi71: Rename script parameters
[#2313145] by bzrudi71: fix execute permissions on shell scripts
[#2309035] by bzrudi71: More cleanup after container rename patch
[#2306661] by cilefen, bzrudy71: Improve PHP detection on host, fix PHPVERSION messages.
by jthorson: Added a few .gitignore entries