menhir 20151112 and re-parallelize the build
menhir 20151112 and re-parallelize the build

- update to 20151112, which is required to build CompCert 2.6
- re-parallelize the build by separating all stages

Closes #49480.

Signed-off-by: Mike McQuaid <a17fed27eaa842282862ff7c1b9c8395a26ac320@mikemcquaid.com>

BrewTestBot/homebrew,vigo/homebrew,dongcarl/homebrew,jamer/homebrew,liamstask/homebrew,josa42/homebrew,getgauge/homebrew,brunchboy/homebrew,josa42/homebrew,ilovezfs/homebrew,liamstask/homebrew,quantumsteve/homebrew,gnubila-france/linuxbrew,tschoonj/homebrew,muellermartin/homebrew,cprecioso/homebrew,sferik/homebrew,dutchcoders/homebrew,LinusU/homebrew,cscetbon/homebrew,DoomHammer/linuxbrew,filcab/homebrew,chadcatlett/homebrew,ralic/homebrew,3van/homebrew,ablyler/homebrew,thinker0/homebrew,sjackman/linuxbrew,brunchboy/homebrew,cscetbon/homebrew,sakra/homebrew,Linuxbrew/linuxbrew,slyphon/homebrew,dplarson/homebrew,sjackman/linuxbrew,ablyler/homebrew,kevinastone/homebrew,influxdata/homebrew,tschoonj/homebrew,thinker0/homebrew,frodeaa/homebrew,benjaminfrank/homebrew,skinny-framework/homebrew,AlexejK/homebrew,reelsense/homebrew,DoomHammer/linuxbrew,emcrisostomo/homebrew,dickeyxxx/homebrew,ryanfb/homebrew,gawbul/homebrew,afh/homebrew,Angeldude/linuxbrew,tutumcloud/homebrew,galaxy001/homebrew,quantumsteve/homebrew,pcottle/homebrew,base10/homebrew,reelsense/homebrew,treyharris/homebrew,sjackman/linuxbrew,drbenmorgan/linuxbrew,esamson/homebrew,brunchboy/homebrew,AlexejK/homebrew,influxdb/homebrew,bigbes/homebrew,SuperNEMO-DBD/cadfaelbrew,drbenmorgan/linuxbrew,dongcarl/homebrew,Homebrew/linuxbrew,AlexejK/homebrew,dickeyxxx/homebrew,bigbes/homebrew,gnubila-france/linuxbrew,cprecioso/homebrew,georgschoelly/homebrew,georgschoelly/homebrew,base10/homebrew,tutumcloud/homebrew,totalvoidness/homebrew,ryanfb/homebrew,optikfluffel/homebrew,sferik/homebrew,esamson/homebrew,hanxue/homebrew,frodeaa/homebrew,hanxue/homebrew,pcottle/homebrew,vigo/homebrew,Homebrew/homebrew,ExtremeMan/homebrew,Asuranceturix/homebrew,Asuranceturix/homebrew,frodeaa/homebrew,sakra/homebrew,yumitsu/homebrew,deorth/homebrew,mkrapp/homebrew,muellermartin/homebrew,booi/homebrew,slyphon/homebrew,Homebrew/homebrew,deorth/homebrew,influxdata/homebrew,dplarson/homebrew,michaKFromParis/homebrew-sparks,OJFord/homebrew,joshfriend/homebrew,drbenmorgan/linuxbrew,jamer/homebrew,SteveClement/homebrew,afh/homebrew,dutchcoders/homebrew,quantumsteve/homebrew,emcrisostomo/homebrew,influxdata/homebrew,scorphus/homebrew,scorphus/homebrew,theeternalsw0rd/homebrew,sometimesfood/homebrew,ralic/homebrew,hanxue/homebrew,LinusU/homebrew,pcottle/homebrew,Homebrew/linuxbrew,reelsense/linuxbrew,elgertam/homebrew,influxdb/homebrew,youtux/homebrew,nandub/homebrew,dutchcoders/homebrew,saketkc/linuxbrew,cprecioso/homebrew,frodeaa/homebrew,cscetbon/homebrew,sferik/homebrew,elgertam/homebrew,treyharris/homebrew,nandub/homebrew,getgauge/homebrew,thinker0/homebrew,ryanfb/homebrew,SuperNEMO-DBD/cadfaelbrew,ear/homebrew,muellermartin/homebrew,ralic/homebrew,kevinastone/homebrew,tschoonj/homebrew,yumitsu/homebrew,marcwebbie/homebrew,decors/homebrew,jamer/homebrew,josa42/homebrew,tschoonj/homebrew,ExtremeMan/homebrew,SuperNEMO-DBD/cadfaelbrew,tutumcloud/homebrew,dickeyxxx/homebrew,ralic/homebrew,theeternalsw0rd/homebrew,BrewTestBot/homebrew,gnubila-france/linuxbrew,theeternalsw0rd/homebrew,tutumcloud/homebrew,ilovezfs/homebrew,ExtremeMan/homebrew,hanxue/homebrew,sferik/homebrew,dongcarl/homebrew,georgschoelly/homebrew,youtux/homebrew,joshfriend/homebrew,afh/homebrew,Linuxbrew/linuxbrew,DoomHammer/linuxbrew,filcab/homebrew,Homebrew/homebrew,reelsense/linuxbrew,elgertam/homebrew,Homebrew/linuxbrew,dplarson/homebrew,ear/homebrew,ablyler/homebrew,benjaminfrank/homebrew,BrewTestBot/homebrew,booi/homebrew,SteveClement/homebrew,SuperNEMO-DBD/cadfaelbrew,treyharris/homebrew,reelsense/homebrew,yumitsu/homebrew,drbenmorgan/linuxbrew,Linuxbrew/linuxbrew,quantumsteve/homebrew,decors/homebrew,Asuranceturix/homebrew,base10/homebrew,Asuranceturix/homebrew,liamstask/homebrew,totalvoidness/homebrew,vigo/homebrew,treyharris/homebrew,pcottle/homebrew,gawbul/homebrew,kevinastone/homebrew,chadcatlett/homebrew,Homebrew/linuxbrew,chadcatlett/homebrew,optikfluffel/homebrew,optikfluffel/homebrew,saketkc/linuxbrew,galaxy001/homebrew,reelsense/linuxbrew,optikfluffel/homebrew,sakra/homebrew,filcab/homebrew,nandub/homebrew,ear/homebrew,sometimesfood/homebrew,deorth/homebrew,SteveClement/homebrew,totalvoidness/homebrew,jamer/homebrew,lrascao/homebrew,totalvoidness/homebrew,dongcarl/homebrew,saketkc/linuxbrew,getgauge/homebrew,bigbes/homebrew,nandub/homebrew,BrewTestBot/homebrew,joshfriend/homebrew,ExtremeMan/homebrew,booi/homebrew,scorphus/homebrew,dutchcoders/homebrew,emcrisostomo/homebrew,OJFord/homebrew,SteveClement/homebrew,LinusU/homebrew,dericed/homebrew,esamson/homebrew,lrascao/homebrew,sometimesfood/homebrew,ilovezfs/homebrew,Angeldude/linuxbrew,base10/homebrew,sakra/homebrew,filcab/homebrew,slyphon/homebrew,decors/homebrew,lrascao/homebrew,AlexejK/homebrew,marcwebbie/homebrew,Asuranceturix/homebrew,brunchboy/homebrew,thinker0/homebrew,kevinastone/homebrew,influxdb/homebrew,gawbul/homebrew,Angeldude/linuxbrew,dericed/homebrew,3van/homebrew,getgauge/homebrew,muellermartin/homebrew,cprecioso/homebrew,reelsense/linuxbrew,influxdb/homebrew,bigbes/homebrew,Angeldude/linuxbrew,michaKFromParis/homebrew-sparks,georgschoelly/homebrew,ilovezfs/homebrew,afh/homebrew,ear/homebrew,sjackman/linuxbrew,marcwebbie/homebrew,benjaminfrank/homebrew,liamstask/homebrew,reelsense/homebrew,SteveClement/homebrew,dericed/homebrew,influxdata/homebrew,ryanfb/homebrew,youtux/homebrew,skinny-framework/homebrew,dplarson/homebrew,skinny-framework/homebrew,dericed/homebrew,sometimesfood/homebrew,OJFord/homebrew,Linuxbrew/linuxbrew,galaxy001/homebrew,marcwebbie/homebrew,skinny-framework/homebrew,elgertam/homebrew,emcrisostomo/homebrew,dickeyxxx/homebrew,OJFord/homebrew,benjaminfrank/homebrew,scorphus/homebrew,3van/homebrew,DoomHammer/linuxbrew,decors/homebrew,ablyler/homebrew,LinusU/homebrew,pcottle/homebrew,vigo/homebrew,michaKFromParis/homebrew-sparks,Homebrew/homebrew,mkrapp/homebrew,3van/homebrew,esamson/homebrew,mkrapp/homebrew,galaxy001/homebrew,theeternalsw0rd/homebrew,youtux/homebrew,saketkc/linuxbrew,slyphon/homebrew,gnubila-france/linuxbrew