UPPAAL Pragma fixes

Now poorly written pragmas will still show up, and the help popup explains the different types of possible statements.

merged

mentioned in commit 84799a18