added script to replace linebreaks in a file by HTML linebreaks