Update docs, docker images, and configuration#75

Merged

zhouzhuojie merged 2 commits intomasterfrom zz/more-docs

Nov 13, 2017

+1,492-90

Commits on Nov 10, 2017

Change docker repo to use checkr
zhouzhuojie
committed

Commits on Nov 13, 2017

Add more docs
zhouzhuojie
committed