Adds functions to get some more data from global $_SERVER;

* `function URL()` returns the current URL and uses other functions
* `ServerName()`, `Protocol()`, `Port()`, `PortReadable()`,
* `RequestURI()`.