Split mod and book build into separate workflows

This would improve the ergonomics/speed of doing a hexdoc-only release, and also eliminate the issue where a mod build failing during a release leaves the hexdoc book in a half-released state (Pages released, but not PyPI).