Added docker-based platform support to Load_Platform_Extension Jenkins job.

[RobertNorthard]

• Added support for docker-based platform extensions.

Dependent on

• adop-platform-management#22
• adop-platform-extension-specification#2
• Accenture/adop-nginx#22

[RobertNorthard]

Based on @kramos feedback added a guard to check if the service extension proxy configuration deployment method is supported.

This also raises a question about managing dependencies between platman, cartridges, platform extensions and ADOP core. I have raised Issue #24 as a place to discuss this.

[fethiozdol]

Hi, one suggestion:
if the a docker container with the same tag already exists, platform extension job should halt?

    if docker ps | tail -n +1 | rev | cut -d' ' -f 1 | rev | grep -q ${PLATFORM_EXTENSION_NAME}; then
      echo "#######################################"
      echo "ERROR: Extension \"${PLATFORM_EXTENSION_NAME}\" already exists!"
      exit 1
    fi

[RobertNorthard]

Thanks @fethiozdol. Docker-compose will fail saying that the container already exists, but no harm in being more explicit.