Front integration and various changes

Created by: SimonGuilloud

Heavy update to code documentation and Reference Manual Parts of the front-end integrated, in its proper subproject. Some reorganisation, simplification and unification of FOL. New proof step without premise to start with an OCBSL-tautology. More small improvments.