CI for python3 and pypy