Use the formatter in the repo (if available) for HTML report

Signed-off-by: Junjie Mao <eternal.n08@gmail.com>