Scripts for ci, including getting docco