Weird that someone would prohibit installing GPL licenced software. It is a very different case than using GPL licenced code in development. Sounds like a dumb lawyer trying to hard cover his rear against reverse engineering accusations. Which you cannot do in this way anyway.