v0.7.1 release
New dev version: v0.8.0 (second time)