Ben Ramsey 446df35e87 Move util/ to tools/ ...

GitHub ignores the contents of the tools/ directory for the purpose of
repo language statistics.

2017-03-26 16:03:42 -05:00

..

Dockerfile

Move util/ to tools/

2017-03-26 16:03:42 -05:00