Fixed the bug (I think) that didn't print out the Pike version and extraction...

Fixed the bug (I think) that didn't print out the Pike version and extraction date in the refdoc when Tools.AutoDoc.FLAG_NO_DYNAMIC is set.

E.g. fixes the refdoc on the Pike site.

Did some more aesthetical fixes to the refdoc, mainly for mobiles.