Base the Gateway certificate filename on the server's IP address.

Fixes #49.