Simplified the provision script.

Added more notes on docker run.