Distribution

[stevenhwu]

What to include in the distribution. Maybe not all the binary. But should have some script to help end users to install/setup these binary.
Or migrate this part to docker.