improve github target in Makefile to also do "git st" so you see if

you have unpushed stuff

Makefile

@@ -111,30 +111,30 @@ $(EXTENSIONS): | NetLogo.jar NetLogoLite.jar
 github:
 	mkdir -p extensions
 	if [ ! -d extensions/array/src ] ; then git clone git@github.com:/NetLogo/Array-Extension.git extensions/array ; fi
-	cd extensions/array; git pull
+	cd extensions/array; git pull; git st
 	if [ ! -d extensions/bitmap/src ] ; then git clone git@github.com:/NetLogo/Bitmap-Extension.git extensions/bitmap ; fi
-	cd extensions/bitmap; git pull
+	cd extensions/bitmap; git pull; git st
 	if [ ! -d extensions/gis/src ] ; then git clone git@github.com:/NetLogo/GIS-Extension.git extensions/gis ; fi
-	cd extensions/gis; git pull
+	cd extensions/gis; git pull; git st
 	if [ ! -d extensions/gogo/src ] ; then git clone git@github.com:/NetLogo/GoGo-Extension.git extensions/gogo ; fi
-	cd extensions/gogo; git pull
+	cd extensions/gogo; git pull; git st
 	if [ ! -d extensions/matrix/src ] ; then git clone git@github.com:/NetLogo/Matrix-Extension.git extensions/matrix ; fi
-	cd extensions/matrix; git pull
+	cd extensions/matrix; git pull; git st
 	if [ ! -d extensions/profiler/src ] ; then git clone git@github.com:/NetLogo/Profiler-Extension.git extensions/profiler ; fi
-	cd extensions/profiler; git pull
+	cd extensions/profiler; git pull; git st
 	if [ ! -d extensions/qtj/src ] ; then git clone git@github.com:/NetLogo/QTJ-Extension.git extensions/qtj ; fi
-	cd extensions/qtj; git pull
+	cd extensions/qtj; git pull; git st
 	if [ ! -d extensions/sample/src ] ; then git clone git@github.com:/NetLogo/Sample-Extension.git extensions/sample ; fi
-	cd extensions/sample; git pull
+	cd extensions/sample; git pull; git st
 	if [ ! -d extensions/sample-scala/src ] ; then git clone git@github.com:/NetLogo/Sample-Scala-Extension.git extensions/sample-scala ; fi
-	cd extensions/sample-scala; git pull
+	cd extensions/sample-scala; git pull; git st
 	if [ ! -d extensions/sound/src ] ; then git clone git@github.com:/NetLogo/Sound-Extension.git extensions/sound ; fi
-	cd extensions/sound; git pull
+	cd extensions/sound; git pull; git st
 	if [ ! -d extensions/table/src ] ; then git clone git@github.com:/NetLogo/Table-Extension.git extensions/table ; fi
-	cd extensions/table; git pull
+	cd extensions/table; git pull; git st
 	mkdir -p plugins
 	if [ ! -d plugins/ReviewTab/src ] ; then git clone git@github.com:/NetLogo/ReviewTab.git plugins/ReviewTab ; fi
-	cd plugins/ReviewTab; git pull
+	cd plugins/ReviewTab; git pull; git st
 
 ### misc targets