update submodule
update submodule
Clarify purpose of shell script
Use cached server version by default
Update docker file with server-cached; update submodule; remove redundant export
Merge pull request #1 from DanielReid/master

updates