Modify bin/xml2html.py

Add highlighting for undefined articles