Header comments added & colors are made configurable#2

Merged

secretGeek merged 3 commits intosecretGeek:masterfrom doekman:dz_features

Jun 29, 2018

+35-18

Commits on Jun 19, 2018

Print line comments in red, and don't number them
doekman
committed

Commits on Jun 26, 2018

Made colors configurable
doekman
committed

Commits on Jun 28, 2018

Changed prefix from "OK_" to "_OK_" and used tput for colors in script
doekman
committed