High: docker: default container name to resource instance name

originally the default container name was the resource instance
name prefixed with 'HA-'. This is confusing and unncessary. Now
the container name defaults directly to the resource instance name
with no prefix.