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

Otherwise it is not cobra compatible.
New pretty print methods in Solution.
Merge branch 'master' into daniel-branch
Merge branch 'daniel-branch'