[Therion] therion 5.3 release

[Eric Madelaine, INRIA]

Hello guys,

    One of the blocking problems in the late 5.2 versions was the bug on 
xvi generation in extended projection.
    It is still there in 5.3, I guess I will have to stand with 5.2.xx 
(xx low) till it is not solved.

Attached a small example, with the generated xvi... (bug in 152-L2-CDev.xvi)

Eric.