Header-only integrity check + more.

1. Header-only integrity check.
2. Better coverage reporting.
3. Preparing scripts to be moved out to the ```Docs``` repository.
4. Major cleanup.
cd $i && $DIR/check-headers.sh && continue
echo -e "\033[1m\033[31mTerminating.\033[0m" && exit 1