Polymake.jl 0.10.0 released

Today Polymake.jl 0.10.0 has been released.

Diff since v0.9.2

Merged pull requests:

• Track invalidations in CI, report if they increase (#442) (@lgoettgens)
• Add support for tropical number in containers (#444) (@lkastner)