In files.php: 1) improved viewer: it now has alternating line background
                 colors, line numbers;
              2) added file info.
Began code reformatting for 80-col width starting with lib.php.
80-col formatting plus some optimization.