Sloeber#871 adding .local to mDNS names if name does not contain a .

I can't really test this as windows adds .local and mDNS doesn't work on
my network right now.
So checking in untested

Author: jantje

io.sloeber.core/src/cc/arduino/packages/discoverers/SloeberNetworkDiscovery.java

@@ -19,7 +19,11 @@ public static String[] getList() {
 	List<BoardPort> boardPorts=getDiscovery().getBoardPortsDiscoveredWithJmDNS();
 	HashSet<String> allBoards = new HashSet<>();
 	for (BoardPort boardPort : boardPorts) {
-		allBoards.add(boardPort.getBoardName()+" "+boardPort.getAddress());
+		String boardName=boardPort.getBoardName();
+		if(!boardName.contains(".")) {
+			boardName=boardName+".local";
+		}
+		allBoards.add(boardName+" "+boardPort.getAddress());
 	}
 	String[] sBoards = new String[allBoards.size()];
 	allBoards.toArray(sBoards);