Print a line than can actually be copied & pasted to start the datatr…

…acker.

Commit ready for merge.
 - Legacy-Id: 19541

docker/docker-init.sh

@@ -83,7 +83,7 @@ echo
 if [ -z "$*" ]; then
     echo "You can execute arbitrary commands now, e.g.,"
     echo
-    echo "    ietf/manage.py runserver 0.0.0.0:8000"
+    echo "    ietf/manage.py check && ietf/manage.py runserver 0.0.0.0:8000"
     echo
     echo "to start a development instance of the Datatracker."
     echo