added Clafer Tools package
Merge pull request #3725 from gsdlab/master

added Clafer Tools package