[NetKAT] Remove internal Google link.#20

copybara-service[bot] wants to merge 1 commit intomaingoogle/netkat:mainfrom

cl/703194642google/netkat:cl/703194642Copy head branch name to clipboard