Add scripts to break coqdoc
Include the files rather than generating them