Delete measurement

Deletes this definition and its submitted results. It is removed from benchmarks; a benchmark with no remaining measurements is also deleted.