Merge pull request #1 from marcbezem/master

second round reviews added in one file
Merge pull request #2 from marcbezem/master

polynomial rings as cubical set
added document class
converted to lipics; wip
fixed overfull hboxes; changed eq for pol rings slightly
added logos
switched to url
Definition 1 and 2 made explicit
more answers to reviewer 4