fix up HA guide
add link to HA-GUIDE.md
ditch the .ova

Now we're not in the workshop, no need to rely on importing a
pre-built .ova; even though it saves time during deployment,
it's a lot more effort to maintain and doesn't fit "the Vagrant
way".