Rename awk to bioawk and tawk to bioawkt

The program name awk clearly clashes with the system awk, and tawk clashes with Thompson AWK. Most people probably rename these executables. It would be great if this were reflected in the Makefile.