vim syntax: Update Isabelle pieces.
auto-commit: fix: Stop requiring check_server parameter.
auto-commit: fix: stop hardcoding bitbucket.

WTF was this about?