Add the category of pointed topological spaces

[ScriptRaccoon]

This PR adds the category of pointed topological spaces $\mathbf{Top}_*$. All properties are decided.

Also:

1. Some data for $\mathbf{Top}$ and (because it was the same property) $\mathbf{Meas}$ has been added.
2. Assignments of missing biproducts have been removed for various categories. They are redundant because the categories were already marked as not unital or not counital, and a finitely complete category with biproducts is unital. (This became clear while deciding biproducts for $\mathbf{Top}_*$.)