Make tools/edit-private work on Linux

Use shred instead of rm (on OS X).