Delete docker-wso2is.pmx