Added Pragma help

src/ui/Pragma.java

src/ui/avatarbd/AvatarBDPragma.java

src/ui/window/JDialogPragma.java

src/ui/window/JDialogProVerifGeneration.java