A Tool for Mapping and Editing of Cloud Patterns: the Semantic Cloud Patterns Editor