update
Merge branch 'debian-0.7.0' of github.com:expyriment/expyriment into debian-0.7.0