tool changes for review
verbose=
correct wrong uname usage
Merge pull request #16 from kframework/toolsForReview

Tools for review, tested