[support] Differenciating dev and prod site

[Fred Jones]

> The algorithm could be something like this:
> if ip=PROD_IP and vhost=PROD_VHOST
> then production site
> else dev site

Put that code in PHP at the bottom of page.tpl.php :)

Very simple.