requirements.txt: explicitely require PETSc 3.3