installation: better Docker detection

• Uses the presence of either /.dockerenv or /.dockerinit file to detect whether the web provisioning script runs inside the Docker container. (The /.dockerinit file was removed in recent Docker versions.)

Signed-off-by: Tibor Simko <tibor.simko@cern.ch>