rename dependency package to conform to standard.
add build-version of hets as default

and rename the old binary version to hets-binary.
add revision-number for hets-version cmd.
remove unnecessary portions of hets formula.
adjust readme for new homebrew layout.