ops.py: have get_libra_version also report /usr/bin vs. /usr/local/bin
ops.py: libra_worker_checkout_latest_release() - manipulate libra git repo to state required for installation