Installation of git-whitespace-hook

Currently we install git-whitespace-hook to /usr/bin which sounds dangerous to me. I see two possibilites:

• switch the name to indicate the affiliation to dune or dune-common
• don't install the hook altogether

What do you think?