goblint-1.0.0 for opam

version used for experimental results in the long version of the SAS …

…2016 paper

pre-cleaning

converted from branch box-operator

converted from branch side_effect_paper

SAS'16 version

we should never lose information for globals when going MT

-> publish no matter if private or not
-> fixes deadcode problems

Add --version option.

tag 0.9.5