added Clafer Tools package