Make jedi:goto-definition-push-marker internal function rather than a command