hc-dev-auth: a development-only sign-in server for happy-cluster. Not for production.