lots of file and documentation changes associated with the 0.7.1 release