Made the Boogie driver return an exit code.