Jedi settings

Signed-off-by: Jakob Hedman <jakob.hedman+github@gmail.com>