Pragma syntax errors are now warnings and new UPPAAL help popup

Poorly formatted pragma are shown but crossed out after error checking. Also, the help popup is its own image.