Update design doc picas api

This change makes it so that not only the Token field of PICAS_API_VERSION is set, but also the same field in the global design document. The latter is what in thend determines which branch of GRID_PiCaS_Launcher is checked out when run_remote_sandbox.sh is executed.