QuickInstall script for Goblint Analyzer (includes OPAM QuickInstall)