Add script to pull in docs changes

pull-docs.sh

@@ -0,0 +1,5 @@
+#!/bin/bash
+
+# We may extend this to also push changes in the other direction, but this is the most important step.
+git subtree pull --prefix=docs/ https://github.com/gohugoio/hugoDocs.git master --squash
+