Update jedi to v0.8.1 revision.