Add download tool. Maybe we can add this later because the binary is about 2.2Mb, too big to include it into the core distribution.
