- servman.cfg moved to home directory - changed mechanism to retrieve frappy cfg in list - fixed bin/sea to accept also foreign instruments for gui / cli