Some useful tools for running a Raspberry Pi as a router