Construct canonical affinoid Berkovich spaces

[dagurtomas]

Goal

Construct the global Berkovich space associated to a strict affinoid algebra and prove:

• global sections recover the algebra;
• points identify homeomorphically with the relative Berkovich spectrum;
• algebra homomorphisms induce contravariant analytic maps;
• goodness, strictness, compactness/paracompactness, and Hausdorffness.

Dependencies

This should build on the global core (#21), analytic affinoid domains (#23), and Tate acyclicity (#20).

This issue is available to claim. Comment before starting so it can be relabeled claimed.

[jjdishere]

-claimed