New make target: make tags
plot_with_colored_slopes: New
Improve demo
Rename to subadditivity_test and symmetric_test from *_check for consistency
Improve the wording of the finite_dimensional_extremality_test warning message, and muffle it when used within extremality_test
Add welcome message
Formatting fix for docstring