remove outline of docker update batch script - it wasn't ready and I committed it when I didn't understand how github branches work (I still don't, really).