This branch makes the path to the stack binary (and potential default flags) configurable, without changing any defaults. Especially for KiCS2 this could potentially be useful to use the exact same Stack configuration to build both the frontend and KiCS2 (reducing the number of duplicate GHC installs, packages, etc.)