Question: How to add a character at the end of each line with awk?