Mark version 0.7.1
tip is now 0.7.2-pre1