Manage psql config better without having to reboot the box before changing shared buffers