Improve comment about alternative way to checkout directly from Github in Dockerfile