Help DB

Here are a few commands of occasional utility that didn't fit into any of the neat categories for the rest of the help system:

@version -- printing the MOO server version number
@lastlog -- finding out when some player last connected to the MOO