added global hypothesis tutorial

Global Hypothesis Tutorial form University of Bologna DEIS
Why not use `literalinclude` here?