Documentation: Document --branch option in git clone synopsis