server: added back dumpOSC
thanks to Open Music Kontrollers for spotting what was missing.