Adding spec to gcm_sup.erl