Update README now that 0.7.2 is released