[Docker] Add external directory mount (#8144)
[Docker] Add external directory mount (#8144)

* add mount option

* comment

* cleanup

* trigger

* trigger

* address comments

* address comments

* trigger

* fix without --mount option

* address comment

* hopefuly last commit :D
Laurawly/tvm-1,Laurawly/tvm-1,Laurawly/tvm-1,dmlc/tvm,dmlc/tvm,dmlc/tvm,Laurawly/tvm-1,Laurawly/tvm-1,Laurawly/tvm-1,dmlc/tvm,Laurawly/tvm-1,Laurawly/tvm-1,dmlc/tvm,dmlc/tvm,Laurawly/tvm-1,Laurawly/tvm-1,dmlc/tvm,dmlc/tvm,dmlc/tvm