Change name (though not URL) of REST API guide to "HTTP API"

Early Christmas present for Nick Lewis.