[coqchk] support for -boot flag
[coqchk] support for -boot flag

Signed-off-by: Ali Caglayan <alizter@gmail.com>

ps-id: 448c8023-6f19-41eb-94c9-8da94bda2d2c
coq/coq,coq/coq,ejgallego/coq,coq/coq,coq/coq,SkySkimmer/coq,SkySkimmer/coq,ejgallego/coq,ejgallego/coq,ejgallego/coq,SkySkimmer/coq,SkySkimmer/coq