Polymake.jl 0.8.0 released

Today Polymake.jl 0.8.0 has been released.

Diff since v0.7.2

Merged pull requests:

• honor –banner=no (and implicitly -q) (#398) (@benlorenz)
• bigobject: add typechecks for bigobject before copy-conversion (#399) (@benlorenz)