Use latest builder when generating documentation manually
Use latest builder when generating documentation manually

It's required until next release when we can go back to using "release".
Until then, the theme we need is missing.

ponylang/ponyc,ponylang/ponyc,ponylang/ponyc