Fixed uses of @code in texinfo manuals

Database
        Added timestamp to database file format