Function push_definition_open 

pub(super) fn push_definition_open(html: &mut String, id: &str, num: usize)

输出脚注定义的开启标签（<aside> + 编号 <sup>）。