small frontend to awk; ostreambuf_iterator for faster file writing