Awk: The Power and Promise of a 40-Year-Old Language