Safer casting in table loader.
Add html tags to GPR rules.

Otherwise it is not cobra compatible.
New pretty print methods in Solution.