[coq] Fix composition of boot library when it has plugins, add field to allow libraries to opt out of stdlib#6165