Remove mii_single_server().

This isn't exposed in any header file and none of the example apps use it
so I assume it can be safely removed.

It may make sense to rename this file but I'll leave that up to you.