Don't compile the gui

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Include time when generating .zip

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
toString method of implications now returns the same as print-method does

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>