Add a shell script to find binary size and download size.
It formats them in a nice little json object, which it writes to stdout.
Part of #172 (closed)
It formats them in a nice little json object, which it writes to stdout.
Part of #172 (closed)