critical_section.v: renamed some definitions for readability: added 'relative'...

critical_section.v: renamed some definitions for readability: added 'relative' to the service-based ones, replaced 'Arrival' with 'Request', renamed the Coq sections
15 jobs for critical_sections in 20 minutes and 46 seconds (queued for 9 seconds)