Integrate the Praos specification

[jeltsch]

We shall properly integrate the Ouroboros Praos specification into the library, which involves performing the following tasks:

• Improve the theory names
• Add the theories to the session by making appropriate additions to the ROOT file