Rename 13_role to full_ha

13 role was a pretty bad name b/c it never had
13 separate roles.