prepare 0.7.1 release, add @jedipi to THANKS