Added a script to use man2html util to get better looking html