Implemented git.branch_exists() and git.local_branches()
sagedev.py: fixed typo; git_interface.py: reimplemented branch_exists according to the new specs