Fix #150: Default value of `jedi:server-command`.