gcc-plugin: add an environmental variable to compile with g++.
gcc-plugin: add an environmental variable to compile with g++.

GaloisInc/ivory-rtverification,GaloisInc/ivory-rtverification,GaloisInc/ivory-rtverification