Sample tools for entitling Docker images under RHEL