#17 .port files -> Open In Uppaal Port

[Davor Slutej]

.port files are auto-generated by Save IDE (Generation -> To UPPAAL Port), however these files do not have the "Open in Uppaal Port" menu item in the context menu.

The feature request is to include such menu item for .port files - in the same way as for .save files.