Add formal document describing GCE GAHP protocol. #3950