Replacing generic `<div>` with HTML5 elements

The goal being to add semantic to the structure and be more accessible (see ARIA)
(basically, `<div id="article">` becomes `<article>`, and so on…)