Rename 13_role to full_ha

13 role was a pretty bad name b/c it never had
13 separate roles.
Merge pull request #153 from bodepd/rename_13_role_full_ha

Rename 13_role to full_ha