Log Message:
Import rsltc-2.4, provided by Marko Schütz in PR 28405.

rsltc provides type-checking, pretty-printing, generation of confidence 
conditions, showing module dependencies, translation to Standard ML, to 
C++, and to PVS, and translation to RSL from UML class diagrams.