fix port-conflicts in SRILMServer

Try 4 random ports in a row. If that fails, error out loudly.