docs: set up versioned docs with mike (#374)

docs: set up versioned docs with mike (#374) #440