Polymake.jl 0.11.12 released

Today Polymake.jl 0.11.12 has been released.

Diff since v0.11.11

Merged pull requests:

• OscarNumber: small improvements (#468) (@benlorenz)