Bumps to PaxExam 4.0.0 and Equinox 3.7.1