Say in the README that brsim is also capable of listing the conserved sets.