Problem: PUB and PUSH sockets have slow memory leak

[hintjens]

This is due to delayed closing of pipes, so that when pub or push sockets are opened and closed in a loop, they will slowly leak memory.

Solution: do not delay on closing pub or push pipes.

[hintjens]

Fixed by #1384