A deployment manager for Stardog Cluster