properties: import/export the ping/ping-exit/ping-restart options from openvpn

[thaller@redhat.com: patch merges parts from originally three separate patches,
                     add some whitespace fixes]