As the documentation generation insert increasingly large ammount of code into the lua files, the coverage data is getting less and less accurate. This try to fix this by only collecting such data after the `configure_file` calls are done.
Github drop files when the leading character is ., ~, # or _ This commit add a prefix in front of the name to avoid leading underscores.
Emmanuel Lepage Vallee