Move "classic" Prosa to rt.classic namespace and update documentation

As a first step towards completing #53 (closed) and #54 (closed), this MR moves the "old" Prosa to the rt.classic namespace and updates the documentation to reflect the "modern" Prosa.

classic/analysis/apa/bertogna_edf_comp.v

-Require Import rt.util.all.
-Require Import rt.analysis.apa.bertogna_edf_theory.
+Require Import rt.classic.util.all.
+Require Import rt.classic.analysis.apa.bertogna_edf_theory.
 From mathcomp Require Import ssreflect ssrbool eqtype ssrnat seq fintype bigop div path.
 
 Module ResponseTimeIterationEDF.