changed default SERVER to exip.org

Today I became aware of the existence of exip.org.
Apparently someone set it up for exactly this purpose,
to work as an API. It seems they don't mind frequent
requests, because they're awesome like that.