Proxy/server fixes.

* Avoid null pointer exception when proxy URL has no host.
* Add better MIME types for several file extensions.
Merge pull request #849 from AnalyticalGraphicsInc/fixProxy

Proxy/server fixes.