renderers-html: improve newline style now that consecutive blank lines are prevented
Split library sources and binary tool sources