phoromatic: Allow passing OpenBenchmarking.org ID to the Phoromatic Server