Add prjxray + prjxray-db information to htmlgen.py output

[mithro]

Currently you don't know what version of the tools generated the output and it makes hard to track down small issues.