genEhrhart: make option -c effective
first work to print a Normaliz banner

only done with -c or in interactive mode (no filename given)
printed text needs review