Rename awk to bioawk and tawk to bioawkt

The program name awk clearly clashes with the system awk, and tawk clashes with Thompson AWK.