Added a `userLeave` hook that gets called when a user leaves a pad

This hook gets called when a user is disconnected from socket.io.