This should dramatically reduce the perceived delay when opening a Python
file for the first time.
Merge pull request #160 from rahul-ramadas/fix-decrease-timeout-to-improve-startup-time

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