new pool stuff
Merge branch 'master' of https://github.com/noahfradin/lotteria
Merge branch 'master' of https://github.com/noahfradin/lotteria
Merge branch 'master' of https://github.com/noahfradin/lotteria
ports on ports and seafarers