A Bash script to insert a line into a file. It can be used to prepend the line.