Formatting of @url

[Jonathan S. Shapiro]

When generating @url output for HTML, the output should be a link to the specified URL.   Also, the surrounding angle brackets should probably be omitted -- the formatting of links is something the author should be able to control (I can live with the current behavior)