Turn newline characters into br tags in HTML, except in pre