rename distributed to highly_available

Change-Id: I8def75f1df21f1fb5848dea8da03c6a047325497