EveryVoice

ci: fix and revamp how we publish documentation with mike

#402

Merged