This makes it easier to use, as it's meant to be used constantly when developing. No need to change PATH or type `./tools/dev/dindctl`, just run `./dindctl` now. Change-Type: patch Signed-off-by: Pablo Carranza Velez <pablo@resin.io>
