Clean up and split demand_paging_speed.c from paging_speed.c

This also removes the --no-seq flag from paging_speed.c, which
never worked.

Cleanups include:
- Copyright notices
- Better usage messages & code comments
- More similar structure in the CPU-side benchmarks
- Random disk buffer initialization in demand_paging_speed.c
- Output comments detailing data source
- Stripping of unused or deprecated codepaths

At this point, the mapping of benchmarks to RTSS'22 plots is:
- paging_speed: Fig. 4
- demand_paging_speed: Fig. 10
- directio_paging_speed: Fig. 10
- gpu_paging_speed: Fig. 10
- gpu_paging_overhead_speed: Fig. 11
- gpu_paging_evil_task: Figs. 12 and 13

0 files changed, 0 insertions, 0 deletions