Changes since 1.3.13

1. Fix 'shorewall add' bug.

2. Add OLD_PING_HANDLING option