make jedi:server-args safe in dir-locals.el