[gssproxy] Patch to adress ticket #94

[Simo Sorce]

This just changes the configuration file.

I think this is the best way as we do realy want to be able to have completely different options for the client and the serve anyways.

Simo.