Revert "remove Jedi plugin from repository"

This reverts commit 8a2c3e5331ffb13d32cb5bbac0b73040d4f38974.