always show interaction menu for pump & structures in general

The HasInteractionMenu callback of the pump was eaten by the merge. I checked.

planet/Objects.ocd/Libraries.ocd/Structure.ocd/Script.c

@@ -185,6 +185,9 @@ public func GetRepairMaterials()
 
 /*-- Interaction --*/
 
+// Always show an interaction menu with at least the damage entry.
+public func HasInteractionMenu() { return true; }
+
 // Show damage and allow a player to repair the building when damaged.
 public func GetInteractionMenus(object clonk)
 {

planet/Objects.ocd/Structures.ocd/Pump.ocd/Script.c

@@ -52,6 +52,8 @@ func Initialize()
 
 /*-- Interaction --*/
 
+public func HasInteractionMenu() { return true; }
+
 public func GetPumpControlMenuEntries(object clonk)
 {
 	var menu_entries = [];