Lisa Mantil, after a nearly three-decade run at Goldman, will join the prediction market’s team to attract institutional traders.