OPPRF-PSI

fix header

fix bugs in timings

fix another typo in timings and don't print OPPRF timings separately

print timings in the example

fix typo in timings