Merge branch 'master' of https://github.com/lamber/gc
Merge branch 'master' of https://github.com/lamber/gc
error out if SRILM server dies

Hopefully this will inform the user if the port specified is already in use.
oops, the exception was of the wrong type
fix port-conflicts in SRILMServer

Try 4 random ports in a row. If that fails, error out loudly.
fix bug in failure diags
Merge branch 'master' of https://github.com/zooko/gc