Reduce the timeout so that we don't spend too much time looking for a jsonserver that is not running

No more annoying delay when opening a Python file for the first time.